Portal - SAT 2022

SAT 2022	August 2-5, 2022, Haifa, Israel
25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022) Kuldeep S. Meel and Ofer Strichman (Eds.)
ISBN 978-3-95977-242-6, LIPICS Vol. 236	ISSN 1868-8969

Additional Information

License
Conference Website
Complete volume (PDF, 15 MB)
Search Publication Server

Authors

Chowdhury, Md Solimul

Jiang, Jie-Hong Roland

Mayer-Eichberger, Valentin

Subercaseaux, Bernardo

Front Matter, Table of Contents, Preface, Conference Organization

Authors: Meel, Kuldeep S. ; Strichman, Ofer

Abstract | Document (510 KB) | BibTeX

SAT Preprocessors and Symmetry

Authors: Anders, Markus

Abstract | Document (727 KB) | BibTeX

A Comprehensive Study of k-Portfolios of Recent SAT Solvers

Authors: Bach, Jakob ; Iser, Markus ; Böhm, Klemens

Abstract | Document (874 KB) | BibTeX

On the Performance of Deep Generative Models of Realistic SAT Instances

Authors: Garzón, Iván ; Mesejo, Pablo ; Giráldez-Cru, Jesús

Abstract | Document (2,805 KB) | BibTeX

A SAT Attack on Rota’s Basis Conjecture

Authors: Kirchweger, Markus ; Scheucher, Manfred ; Szeider, Stefan

Abstract | Document (843 KB) | BibTeX

Classes of Hard Formulas for QBF Resolution

Authors: Schleitzer, Agnes ; Beyersdorff, Olaf

Abstract | Document (872 KB) | BibTeX

Tight Bounds for Tseitin Formulas

Authors: Itsykson, Dmitry ; Riazanov, Artur ; Smirnov, Petr

Abstract | Document (853 KB) | BibTeX

Towards Learning Quantifier Instantiation in SMT

Authors: Janota, Mikoláš ; Piepenbrock, Jelle ; Piotrowski, Bartosz

Abstract | Document (1,167 KB) | BibTeX

Introducing Intel(R) SAT Solver

Authors: Nadel, Alexander

Abstract | Document (969 KB) | BibTeX

A Generalization of the Satisfiability Coding Lemma and Its Applications

Authors: Mossé, Milan ; Sha, Harry ; Tan, Li-Yang

Abstract | Document (811 KB) | BibTeX

Relating Existing Powerful Proof Systems for QBF

Authors: Chew, Leroy ; Heule, Marijn J. H.

Abstract | Document (834 KB) | BibTeX

Should Decisions in QCDCL Follow Prefix Order?

Authors: Böhm, Benjamin ; Peitl, Tomáš ; Beyersdorff, Olaf

Abstract | Document (1,179 KB) | BibTeX

MaxSAT-Based Bi-Objective Boolean Optimization

Authors: Jabs, Christoph ; Berg, Jeremias ; Niskanen, Andreas ; Järvisalo, Matti

Abstract | Document (1,488 KB) | BibTeX

Improvements to the Implicit Hitting Set Approach to Pseudo-Boolean Optimization

Authors: Smirnov, Pavel ; Berg, Jeremias ; Järvisalo, Matti

Abstract | Document (1,100 KB) | BibTeX

Incremental Maximum Satisfiability

Authors: Niskanen, Andreas ; Berg, Jeremias ; Järvisalo, Matti

Abstract | Document (1,513 KB) | BibTeX

Weighted Model Counting with Twin-Width

Authors: Ganian, Robert ; Pokrývka, Filip ; Schidler, André ; Simonov, Kirill ; Szeider, Stefan

Abstract | Document (839 KB) | BibTeX

Certified CNF Translations for Pseudo-Boolean Solving

Authors: Gocht, Stephan ; Martins, Ruben ; Nordström, Jakob ; Oertel, Andy

Abstract | Document (1,597 KB) | BibTeX

Changing Partitions in Rectangle Decision Lists

Authors: Mengel, Stefan

Abstract | Document (707 KB) | BibTeX

Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond

Authors: Berent, Lucas ; Burgholzer, Lukas ; Wille, Robert

Abstract | Document (1,028 KB) | BibTeX

On the Parallel Parameterized Complexity of MaxSAT Variants

Authors: Bannach, Max ; Skambath, Malte ; Tantau, Till

Abstract | Document (857 KB) | BibTeX

Pedant: A Certifying DQBF Solver

Authors: Reichl, Franz-Xaver ; Slivovsky, Friedrich

Abstract | Document (602 KB) | BibTeX

The Packing Chromatic Number of the Infinite Square Grid Is at Least 14

Authors: Subercaseaux, Bernardo ; Heule, Marijn J.H.

Abstract | Document (816 KB) | BibTeX

QBF Merge Resolution Is Powerful but Unnatural

Authors: Mahajan, Meena ; Sood, Gaurav

Abstract | Document (778 KB) | BibTeX

Quantifier Elimination in Stochastic Boolean Satisfiability

Authors: Wang, Hao-Ren ; Tu, Kuan-Hua ; Jiang, Jie-Hong Roland ; Scholl, Christoph

Abstract | Document (798 KB) | BibTeX

Quantified CDCL with Universal Resolution

Authors: Slivovsky, Friedrich

Abstract | Document (930 KB) | BibTeX

OptiLog V2: Model, Solve, Tune and Run

Authors: Alòs, Josep ; Ansótegui, Carlos ; Salvia, Josep M. ; Torres, Eduard

Abstract | Document (826 KB) | BibTeX

Analysis of Core-Guided MaxSat Using Cores and Correction Sets

Authors: Narodytska, Nina ; Bjørner, Nikolaj

Abstract | Document (1,971 KB) | BibTeX

Migrating Solver State

Authors: Biere, Armin ; Chowdhury, Md Solimul ; Heule, Marijn J. H. ; Kiesl, Benjamin ; Whalen, Michael W.

Abstract | Document (1,374 KB) | BibTeX

A New Exact Solver for (Weighted) Max#SAT

Authors: Audemard, Gilles ; Lagniez, Jean-Marie ; Miceli, Marie

Abstract | Document (1,000 KB) | BibTeX

SAT-Based Leximax Optimisation Algorithms

Authors: Cabral, Miguel ; Janota, Mikoláš ; Manquinho, Vasco

Abstract | Document (981 KB) | BibTeX

Proofs for Propositional Model Counting

Authors: Fichte, Johannes K. ; Hecher, Markus ; Roland, Valentin

Abstract | Document (942 KB) | BibTeX

QBF Programming with the Modeling Language Bule

Authors: Jung, Jean Christoph ; Mayer-Eichberger, Valentin ; Saffidine, Abdallah

Abstract | Document (821 KB) | BibTeX

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI

25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022)