EasyChair Smart SlideDocs/Log in
Conference: SAT-2021 (24th International Conference on Theory and Applications of Satisfiability Testing)

This page shows all presentations from this conference published in EasyChair Smart Slide.

MCP: Capturing Big Data by Satisfiability

MCP: Capturing Big Data by Satisfiability

Miki Hermann and Gernot Salzer

Investigating the Existence of Costas Latin Square via Satisfiability Testing

Investigating the Existence of Costas Latin Square via Satisfiability Testing

Jiwei Jin, Yiqi Lv, Cunjing Ge, Feifei Ma and Jian Zhang

Efficient Local Search for Pseudo Boolean Optimization

Efficient Local Search for Pseudo Boolean Optimization

Zhendong Lei, Shaowei Cai, Chuan Luo and Holger Hoos

Leveraging GPUs for Effective Clause Sharing in Parallel SAT Solving

Leveraging GPUs for Effective Clause Sharing in Parallel SAT Solving

Nicolas Prévot, Mate Soos and Kuldeep S. Meel

Chinese Remainder Encoding for Hamiltonian Cycles

Chinese Remainder Encoding for Hamiltonian Cycles

Marijn Heule

Lower Bounds for QCDCL via Formula Gauge

Lower Bounds for QCDCL via Formula Gauge

Benjamin Böhm and Olaf Beyersdorff

Projection heuristics for binary branchings between sum and product

Projection heuristics for binary branchings between sum and product

Oliver Kullmann and Oleg Zaikin

Scalable SAT Solving in the Cloud

Scalable SAT Solving in the Cloud

Dominik Schreiber and Peter Sanders

The SAT solver MergeSat

The SAT solver MergeSat

Norbert Manthey

Smt-Switch: a Solver-agnostic C++ API for SMT Solving

Smt-Switch: a Solver-agnostic C++ API for SMT Solving

Makai Mann, Amalee Wilson, Yoni Zohar, Lindsey Stuntz, Ahmed Irfan, Kristopher Brown, Caleb Donovick, Allison Guman, Cesare Tinelli and Clark Barrett

Hash-based preprocessing and inprocessing techniques in SAT solvers

Hash-based preprocessing and inprocessing techniques in SAT solvers

Henrik Cao

Presentations in this collection: 11
Copyright © 2002 – 2024 EasyChair