- 2024
- Dominik Schreiber:
Trusted Scalable SAT Solving with On-The-Fly LRAT Checking. SAT 2024: 25:1-25:19 - Christoph Scholl, Tobias Seufert, Fabian Siegwolf:
Hierarchical Stochastic SAT and Quality Assessment of Logic Locking. SAT 2024: 24:1-24:22 - Jiong Yang, Yaroslav A. Kharkov, Yunong Shi, Marijn J. H. Heule, Bruno Dutertre:
Quantum Circuit Mapping Based on Incremental and Parallel SAT Solving. SAT 2024: 29:1-29:18 - Markus Anders, Sofia Brenner
, Gaurav Rattan:
Satsuma: Structure-Based Symmetry Breaking in SAT. SAT 2024: 4:1-4:23 - Olaf Beyersdorff, Johannes Klaus Fichte, Markus Hecher, Tim Hoffmann, Kaspar Kasche:
The Relative Strength of #SAT Proof Systems. SAT 2024: 5:1-5:19 - Armin Biere, Katalin Fazekas, Mathias Fleury, Nils Froleyks:
Clausal Congruence Closure. SAT 2024: 6:1-6:25 - Ilario Bonacina, Maria Luisa Bonet, Massimo Lauria:
MaxSAT Resolution with Inclusion Redundancy. SAT 2024: 7:1-7:15 - Yi Chu, Chu-Min Li, Furong Ye, Shaowei Cai:
Enhancing MaxSAT Local Search via a Unified Soft Clause Weighting Scheme. SAT 2024: 8:1-8:18 - Alexis de Colnet:
On the Relative Efficiency of Dynamic and Static Top-Down Compilation to Decision-DNNF. SAT 2024: 11:1-11:21 - Robin Coutelier, Mathias Fleury, Laura Kovács:
Lazy Reimplication in Chronological Backtracking. SAT 2024: 9:1-9:19 - Yogesh Dahiya, Meena Mahajan, Sasank Mouli:
New Lower Bounds for Polynomial Calculus over Non-Boolean Bases. SAT 2024: 10:1-10:20 - Daniel Faber, Adalat Jabrayilov, Petra Mutzel:
SAT Encoding of Partial Ordering Models for Graph Coloring Problems. SAT 2024: 12:1-12:20 - Dror Fried, Alexander Nadel, Roberto Sebastiani, Yogev Shalmon:
Entailing Generalization Boosts Enumeration. SAT 2024: 13:1-13:14 - Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc:
Cooking String-Integer Conversions with Noodles. SAT 2024: 14:1-14:19 - Lukás Holík, Pavol Vargovcík:
Antichain with SAT and Tries. SAT 2024: 15:1-15:24 - Alexey Ignatiev, Zi Li Tan, Christos Karamanos:
Towards Universally Accessible SAT Technology. SAT 2024: 16:1-16:11 - Yoichiro Iida, Tomohiro Sonobe, Mary Inaba:
Parallel Clause Sharing Strategy Based on Graph Structure of SAT Problem. SAT 2024: 17:1-17:18 - Markus Iser, Christoph Jabs:
Global Benchmark Database. SAT 2024: 18:1-18:10 - Dmitry Itsykson, Sergei Ovcharov:
On Limits of Symbolic Approach to SAT Solving. SAT 2024: 19:1-19:22 - Leszek Aleksander Kolodziejczyk, Neil Thapen:
The Strength of the Dominance Rule. SAT 2024: 20:1-20:22 - Jean-Marie Lagniez, Pierre Marquis, Armin Biere:
Dynamic Blocked Clause Elimination for Projected Model Counting. SAT 2024: 21:1-21:17 - Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Rui Zhao:
Speeding up Pseudo-Boolean Propagation. SAT 2024: 22:1-22:18 - Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider:
eSLIM: Circuit Minimization with SAT Based Local Improvement. SAT 2024: 23:1-23:14 - Martina Seidl:
Models and Counter-Models of Quantified Boolean Formulas (Invited Talk). SAT 2024: 1:1-1:7 - Irfansha Shaik, Jaco van de Pol:
Optimal Layout Synthesis for Deep Quantum Circuits on NISQ Processors with 100+ Qubits. SAT 2024: 26:1-26:18 - Hadar Shavit, Holger H. Hoos:
Revisiting SATZilla Features in 2024. SAT 2024: 27:1-27:26 - Friedrich Slivovsky:
Strategy Extraction by Interpolation. SAT 2024: 28:1-28:20 - Cesare Tinelli:
Scalable Proof Production and Checking in SMT (Invited Talk). SAT 2024: 2:1-2:2 - Moshe Y. Vardi:
Logical Algorithmics: From Relational Queries to Boolean Reasoning (Invited Talk). SAT 2024: 3:1-3:1 - Front Matter, Table of Contents, Preface, Conference Organization. SAT 2024: 0:i-0:xviii
