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
  • Alòs, Josep
  • Anders, Markus
  • Ansótegui, Carlos
  • Audemard, Gilles
  • Bach, Jakob
  • Bannach, Max
  • Berent, Lucas
  • Berg, Jeremias
  • Beyersdorff, Olaf
  • Biere, Armin
  • Bjørner, Nikolaj
  • Böhm, Benjamin
  • Böhm, Klemens
  • Burgholzer, Lukas
  • Cabral, Miguel
  • Chew, Leroy
  • Chowdhury, Md Solimul
  • Fichte, Johannes K.
  • Ganian, Robert
  • Garzón, Iván
  • Giráldez-Cru, Jesús
  • Gocht, Stephan
  • Hecher, Markus
  • Heule, Marijn J. H.
  • Heule, Marijn J.H.
  • Iser, Markus
  • Itsykson, Dmitry
  • Jabs, Christoph
  • Janota, Mikoláš
  • Järvisalo, Matti
  • Jiang, Jie-Hong Roland
  • Jung, Jean Christoph
  • Kiesl, Benjamin
  • Kirchweger, Markus
  • Lagniez, Jean-Marie
  • Mahajan, Meena
  • Manquinho, Vasco
  • Martins, Ruben
  • Mayer-Eichberger, Valentin
  • Meel, Kuldeep S.
  • Mengel, Stefan
  • Mesejo, Pablo
  • Miceli, Marie
  • Mossé, Milan
  • Nadel, Alexander
  • Narodytska, Nina
  • Niskanen, Andreas
  • Nordström, Jakob
  • Oertel, Andy
  • Peitl, Tomáš
  • Piepenbrock, Jelle
  • Piotrowski, Bartosz
  • Pokrývka, Filip
  • Reichl, Franz-Xaver
  • Riazanov, Artur
  • Roland, Valentin
  • Saffidine, Abdallah
  • Salvia, Josep M.
  • Scheucher, Manfred
  • Schidler, André
  • Schleitzer, Agnes
  • Scholl, Christoph
  • Sha, Harry
  • Simonov, Kirill
  • Skambath, Malte
  • Slivovsky, Friedrich
  • Smirnov, Pavel
  • Smirnov, Petr
  • Sood, Gaurav
  • Strichman, Ofer
  • Subercaseaux, Bernardo
  • Szeider, Stefan
  • Tan, Li-Yang
  • Tantau, Till
  • Torres, Eduard
  • Tu, Kuan-Hua
  • Wang, Hao-Ren
  • Whalen, Michael W.
  • Wille, Robert

  •   
    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