LIPIcs, Volume 236, SAT 2022

• Kuldeep S. Meel and Ofer Strichman LIPIcs, Volume 236, SAT 2022, Complete Volume 10.4230/LIPIcs.SAT.2022
• Kuldeep S. Meel and Ofer Strichman Front Matter, Table of Contents, Preface, Conference Organization 10.4230/LIPIcs.SAT.2022.0
• Markus Anders SAT Preprocessors and Symmetry 10.4230/LIPIcs.SAT.2022.1
• Jakob Bach, Markus Iser, and Klemens Böhm A Comprehensive Study of k-Portfolios of Recent SAT Solvers 10.4230/LIPIcs.SAT.2022.2
• Iván Garzón, Pablo Mesejo, and Jesús Giráldez-Cru On the Performance of Deep Generative Models of Realistic SAT Instances 10.4230/LIPIcs.SAT.2022.3
• Markus Kirchweger, Manfred Scheucher, and Stefan Szeider A SAT Attack on Rota’s Basis Conjecture 10.4230/LIPIcs.SAT.2022.4
• Agnes Schleitzer and Olaf Beyersdorff Classes of Hard Formulas for QBF Resolution 10.4230/LIPIcs.SAT.2022.5
• Dmitry Itsykson, Artur Riazanov, and Petr Smirnov Tight Bounds for Tseitin Formulas 10.4230/LIPIcs.SAT.2022.6
• Mikoláš Janota, Jelle Piepenbrock, and Bartosz Piotrowski Towards Learning Quantifier Instantiation in SMT 10.4230/LIPIcs.SAT.2022.7
• Alexander Nadel Introducing Intel(R) SAT Solver 10.4230/LIPIcs.SAT.2022.8
• Milan Mossé, Harry Sha, and Li-Yang Tan A Generalization of the Satisfiability Coding Lemma and Its Applications 10.4230/LIPIcs.SAT.2022.9
• Leroy Chew and Marijn J. H. Heule Relating Existing Powerful Proof Systems for QBF 10.4230/LIPIcs.SAT.2022.10
• Benjamin Böhm, Tomáš Peitl, and Olaf Beyersdorff Should Decisions in QCDCL Follow Prefix Order? 10.4230/LIPIcs.SAT.2022.11
• Christoph Jabs, Jeremias Berg, Andreas Niskanen, and Matti Järvisalo MaxSAT-Based Bi-Objective Boolean Optimization 10.4230/LIPIcs.SAT.2022.12
• Pavel Smirnov, Jeremias Berg, and Matti Järvisalo Improvements to the Implicit Hitting Set Approach to Pseudo-Boolean Optimization 10.4230/LIPIcs.SAT.2022.13
• Andreas Niskanen, Jeremias Berg, and Matti Järvisalo Incremental Maximum Satisfiability 10.4230/LIPIcs.SAT.2022.14
• Robert Ganian, Filip Pokrývka, André Schidler, Kirill Simonov, and Stefan Szeider Weighted Model Counting with Twin-Width 10.4230/LIPIcs.SAT.2022.15
• Stephan Gocht, Ruben Martins, Jakob Nordström, and Andy Oertel Certified CNF Translations for Pseudo-Boolean Solving 10.4230/LIPIcs.SAT.2022.16
• Stefan Mengel Changing Partitions in Rectangle Decision Lists 10.4230/LIPIcs.SAT.2022.17
• Lucas Berent, Lukas Burgholzer, and Robert Wille Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond 10.4230/LIPIcs.SAT.2022.18
• Max Bannach, Malte Skambath, and Till Tantau On the Parallel Parameterized Complexity of MaxSAT Variants 10.4230/LIPIcs.SAT.2022.19
• Franz-Xaver Reichl and Friedrich Slivovsky Pedant: A Certifying DQBF Solver 10.4230/LIPIcs.SAT.2022.20
• Bernardo Subercaseaux and Marijn J.H. Heule The Packing Chromatic Number of the Infinite Square Grid Is at Least 14 10.4230/LIPIcs.SAT.2022.21
• Meena Mahajan and Gaurav Sood QBF Merge Resolution Is Powerful but Unnatural 10.4230/LIPIcs.SAT.2022.22
• Hao-Ren Wang, Kuan-Hua Tu, Jie-Hong Roland Jiang, and Christoph Scholl Quantifier Elimination in Stochastic Boolean Satisfiability 10.4230/LIPIcs.SAT.2022.23
• Friedrich Slivovsky Quantified CDCL with Universal Resolution 10.4230/LIPIcs.SAT.2022.24
• Josep Alòs, Carlos Ansótegui, Josep M. Salvia, and Eduard Torres OptiLog V2: Model, Solve, Tune and Run 10.4230/LIPIcs.SAT.2022.25
• Nina Narodytska and Nikolaj Bjørner Analysis of Core-Guided MaxSat Using Cores and Correction Sets 10.4230/LIPIcs.SAT.2022.26
• Armin Biere, Md Solimul Chowdhury, Marijn J. H. Heule, Benjamin Kiesl, and Michael W. Whalen Migrating Solver State 10.4230/LIPIcs.SAT.2022.27
• Gilles Audemard, Jean-Marie Lagniez, and Marie Miceli A New Exact Solver for (Weighted) Max#SAT 10.4230/LIPIcs.SAT.2022.28
• Miguel Cabral, Mikoláš Janota, and Vasco Manquinho SAT-Based Leximax Optimisation Algorithms 10.4230/LIPIcs.SAT.2022.29
• Johannes K. Fichte, Markus Hecher, and Valentin Roland Proofs for Propositional Model Counting 10.4230/LIPIcs.SAT.2022.30
• Jean Christoph Jung, Valentin Mayer-Eichberger, and Abdallah Saffidine QBF Programming with the Modeling Language Bule 10.4230/LIPIcs.SAT.2022.31