Search dblp for Publications

export results for "toc:db/conf/sat/sat2022.bht:"

 download as .bib file

@inproceedings{DBLP:conf/sat/0001PB22,
  author       = {Benjamin B{\"{o}}hm and
                  Tom{\'{a}}s Peitl and
                  Olaf Beyersdorff},
  editor       = {Kuldeep S. Meel and
                  Ofer Strichman},
  title        = {Should Decisions in {QCDCL} Follow Prefix Order?},
  booktitle    = {25th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel},
  series       = {LIPIcs},
  volume       = {236},
  pages        = {11:1--11:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2022.11},
  doi          = {10.4230/LIPICS.SAT.2022.11},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/0001PB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/0003BJ22,
  author       = {Pavel Smirnov and
                  Jeremias Berg and
                  Matti J{\"{a}}rvisalo},
  editor       = {Kuldeep S. Meel and
                  Ofer Strichman},
  title        = {Improvements to the Implicit Hitting Set Approach to Pseudo-Boolean
                  Optimization},
  booktitle    = {25th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel},
  series       = {LIPIcs},
  volume       = {236},
  pages        = {13:1--13:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2022.13},
  doi          = {10.4230/LIPICS.SAT.2022.13},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sat/0003BJ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/AlosAST22,
  author       = {Josep Alos and
                  Carlos Ans{\'{o}}tegui and
                  Josep M. Salvia and
                  Eduard Torres},
  editor       = {Kuldeep S. Meel and
                  Ofer Strichman},
  title        = {OptiLog {V2:} Model, Solve, Tune and Run},
  booktitle    = {25th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel},
  series       = {LIPIcs},
  volume       = {236},
  pages        = {25:1--25:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2022.25},
  doi          = {10.4230/LIPICS.SAT.2022.25},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/AlosAST22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/Anders22,
  author       = {Markus Anders},
  editor       = {Kuldeep S. Meel and
                  Ofer Strichman},
  title        = {{SAT} Preprocessors and Symmetry},
  booktitle    = {25th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel},
  series       = {LIPIcs},
  volume       = {236},
  pages        = {1:1--1:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2022.1},
  doi          = {10.4230/LIPICS.SAT.2022.1},
  timestamp    = {Thu, 28 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/Anders22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/AudemardLM22,
  author       = {Gilles Audemard and
                  Jean{-}Marie Lagniez and
                  Marie Miceli},
  editor       = {Kuldeep S. Meel and
                  Ofer Strichman},
  title        = {A New Exact Solver for (Weighted) Max{\#}SAT},
  booktitle    = {25th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel},
  series       = {LIPIcs},
  volume       = {236},
  pages        = {28:1--28:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2022.28},
  doi          = {10.4230/LIPICS.SAT.2022.28},
  timestamp    = {Thu, 28 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/AudemardLM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/BachIB22,
  author       = {Jakob Bach and
                  Markus Iser and
                  Klemens B{\"{o}}hm},
  editor       = {Kuldeep S. Meel and
                  Ofer Strichman},
  title        = {A Comprehensive Study of k-Portfolios of Recent {SAT} Solvers},
  booktitle    = {25th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel},
  series       = {LIPIcs},
  volume       = {236},
  pages        = {2:1--2:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2022.2},
  doi          = {10.4230/LIPICS.SAT.2022.2},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/BachIB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/BannachST22,
  author       = {Max Bannach and
                  Malte Skambath and
                  Till Tantau},
  editor       = {Kuldeep S. Meel and
                  Ofer Strichman},
  title        = {On the Parallel Parameterized Complexity of MaxSAT Variants},
  booktitle    = {25th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel},
  series       = {LIPIcs},
  volume       = {236},
  pages        = {19:1--19:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2022.19},
  doi          = {10.4230/LIPICS.SAT.2022.19},
  timestamp    = {Thu, 28 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/BannachST22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/BerentBW22,
  author       = {Lucas Berent and
                  Lukas Burgholzer and
                  Robert Wille},
  editor       = {Kuldeep S. Meel and
                  Ofer Strichman},
  title        = {Towards a {SAT} Encoding for Quantum Circuits: {A} Journey From Classical
                  Circuits to Clifford Circuits and Beyond},
  booktitle    = {25th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel},
  series       = {LIPIcs},
  volume       = {236},
  pages        = {18:1--18:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2022.18},
  doi          = {10.4230/LIPICS.SAT.2022.18},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/BerentBW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/BiereCHKW22,
  author       = {Armin Biere and
                  Md. Solimul Chowdhury and
                  Marijn J. H. Heule and
                  Benjamin Kiesl and
                  Michael W. Whalen},
  editor       = {Kuldeep S. Meel and
                  Ofer Strichman},
  title        = {Migrating Solver State},
  booktitle    = {25th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel},
  series       = {LIPIcs},
  volume       = {236},
  pages        = {27:1--27:24},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2022.27},
  doi          = {10.4230/LIPICS.SAT.2022.27},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sat/BiereCHKW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/CabralJM22,
  author       = {Miguel Cabral and
                  Mikol{\'{a}}s Janota and
                  Vasco M. Manquinho},
  editor       = {Kuldeep S. Meel and
                  Ofer Strichman},
  title        = {SAT-Based Leximax Optimisation Algorithms},
  booktitle    = {25th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel},
  series       = {LIPIcs},
  volume       = {236},
  pages        = {29:1--29:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2022.29},
  doi          = {10.4230/LIPICS.SAT.2022.29},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sat/CabralJM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/ChewH22,
  author       = {Leroy Chew and
                  Marijn J. H. Heule},
  editor       = {Kuldeep S. Meel and
                  Ofer Strichman},
  title        = {Relating Existing Powerful Proof Systems for {QBF}},
  booktitle    = {25th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel},
  series       = {LIPIcs},
  volume       = {236},
  pages        = {10:1--10:22},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2022.10},
  doi          = {10.4230/LIPICS.SAT.2022.10},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sat/ChewH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/FichteHR22,
  author       = {Johannes Klaus Fichte and
                  Markus Hecher and
                  Valentin Roland},
  editor       = {Kuldeep S. Meel and
                  Ofer Strichman},
  title        = {Proofs for Propositional Model Counting},
  booktitle    = {25th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel},
  series       = {LIPIcs},
  volume       = {236},
  pages        = {30:1--30:24},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2022.30},
  doi          = {10.4230/LIPICS.SAT.2022.30},
  timestamp    = {Thu, 28 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/FichteHR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/GanianPSSS22,
  author       = {Robert Ganian and
                  Filip Pokr{\'{y}}vka and
                  Andr{\'{e}} Schidler and
                  Kirill Simonov and
                  Stefan Szeider},
  editor       = {Kuldeep S. Meel and
                  Ofer Strichman},
  title        = {Weighted Model Counting with Twin-Width},
  booktitle    = {25th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel},
  series       = {LIPIcs},
  volume       = {236},
  pages        = {15:1--15:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2022.15},
  doi          = {10.4230/LIPICS.SAT.2022.15},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sat/GanianPSSS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/GarzonMG22,
  author       = {Iv{\'{a}}n Garz{\'{o}}n and
                  Pablo Mesejo and
                  Jes{\'{u}}s Gir{\'{a}}ldez{-}Cru},
  editor       = {Kuldeep S. Meel and
                  Ofer Strichman},
  title        = {On the Performance of Deep Generative Models of Realistic {SAT} Instances},
  booktitle    = {25th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel},
  series       = {LIPIcs},
  volume       = {236},
  pages        = {3:1--3:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2022.3},
  doi          = {10.4230/LIPICS.SAT.2022.3},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/GarzonMG22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/GochtMNO22,
  author       = {Stephan Gocht and
                  Ruben Martins and
                  Jakob Nordstr{\"{o}}m and
                  Andy Oertel},
  editor       = {Kuldeep S. Meel and
                  Ofer Strichman},
  title        = {Certified {CNF} Translations for Pseudo-Boolean Solving},
  booktitle    = {25th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel},
  series       = {LIPIcs},
  volume       = {236},
  pages        = {16:1--16:25},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2022.16},
  doi          = {10.4230/LIPICS.SAT.2022.16},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/GochtMNO22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/ItsyksonRS22,
  author       = {Dmitry Itsykson and
                  Artur Riazanov and
                  Petr Smirnov},
  editor       = {Kuldeep S. Meel and
                  Ofer Strichman},
  title        = {Tight Bounds for Tseitin Formulas},
  booktitle    = {25th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel},
  series       = {LIPIcs},
  volume       = {236},
  pages        = {6:1--6:21},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2022.6},
  doi          = {10.4230/LIPICS.SAT.2022.6},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sat/ItsyksonRS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/JabsBNJ22,
  author       = {Christoph Jabs and
                  Jeremias Berg and
                  Andreas Niskanen and
                  Matti J{\"{a}}rvisalo},
  editor       = {Kuldeep S. Meel and
                  Ofer Strichman},
  title        = {MaxSAT-Based Bi-Objective Boolean Optimization},
  booktitle    = {25th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel},
  series       = {LIPIcs},
  volume       = {236},
  pages        = {12:1--12:23},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2022.12},
  doi          = {10.4230/LIPICS.SAT.2022.12},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sat/JabsBNJ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/JanotaPP22,
  author       = {Mikol{\'{a}}s Janota and
                  Jelle Piepenbrock and
                  Bartosz Piotrowski},
  editor       = {Kuldeep S. Meel and
                  Ofer Strichman},
  title        = {Towards Learning Quantifier Instantiation in {SMT}},
  booktitle    = {25th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel},
  series       = {LIPIcs},
  volume       = {236},
  pages        = {7:1--7:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2022.7},
  doi          = {10.4230/LIPICS.SAT.2022.7},
  timestamp    = {Thu, 28 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/JanotaPP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/JungMS22,
  author       = {Jean Christoph Jung and
                  Valentin Mayer{-}Eichberger and
                  Abdallah Saffidine},
  editor       = {Kuldeep S. Meel and
                  Ofer Strichman},
  title        = {{QBF} Programming with the Modeling Language Bule},
  booktitle    = {25th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel},
  series       = {LIPIcs},
  volume       = {236},
  pages        = {31:1--31:14},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2022.31},
  doi          = {10.4230/LIPICS.SAT.2022.31},
  timestamp    = {Thu, 28 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/JungMS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/KirchwegerSS22,
  author       = {Markus Kirchweger and
                  Manfred Scheucher and
                  Stefan Szeider},
  editor       = {Kuldeep S. Meel and
                  Ofer Strichman},
  title        = {A {SAT} Attack on Rota's Basis Conjecture},
  booktitle    = {25th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel},
  series       = {LIPIcs},
  volume       = {236},
  pages        = {4:1--4:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2022.4},
  doi          = {10.4230/LIPICS.SAT.2022.4},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sat/KirchwegerSS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/Mahajan022,
  author       = {Meena Mahajan and
                  Gaurav Sood},
  editor       = {Kuldeep S. Meel and
                  Ofer Strichman},
  title        = {{QBF} Merge Resolution Is Powerful but Unnatural},
  booktitle    = {25th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel},
  series       = {LIPIcs},
  volume       = {236},
  pages        = {22:1--22:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2022.22},
  doi          = {10.4230/LIPICS.SAT.2022.22},
  timestamp    = {Thu, 28 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/Mahajan022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/Mengel22,
  author       = {Stefan Mengel},
  editor       = {Kuldeep S. Meel and
                  Ofer Strichman},
  title        = {Changing Partitions in Rectangle Decision Lists},
  booktitle    = {25th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel},
  series       = {LIPIcs},
  volume       = {236},
  pages        = {17:1--17:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2022.17},
  doi          = {10.4230/LIPICS.SAT.2022.17},
  timestamp    = {Thu, 28 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/Mengel22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/MosseST22,
  author       = {Milan Moss{\'{e}} and
                  Harry Sha and
                  Li{-}Yang Tan},
  editor       = {Kuldeep S. Meel and
                  Ofer Strichman},
  title        = {A Generalization of the Satisfiability Coding Lemma and Its Applications},
  booktitle    = {25th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel},
  series       = {LIPIcs},
  volume       = {236},
  pages        = {9:1--9:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2022.9},
  doi          = {10.4230/LIPICS.SAT.2022.9},
  timestamp    = {Thu, 28 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/MosseST22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/Nadel22,
  author       = {Alexander Nadel},
  editor       = {Kuldeep S. Meel and
                  Ofer Strichman},
  title        = {Introducing Intel(R) {SAT} Solver},
  booktitle    = {25th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel},
  series       = {LIPIcs},
  volume       = {236},
  pages        = {8:1--8:23},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2022.8},
  doi          = {10.4230/LIPICS.SAT.2022.8},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sat/Nadel22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/NarodytskaB22,
  author       = {Nina Narodytska and
                  Nikolaj S. Bj{\o}rner},
  editor       = {Kuldeep S. Meel and
                  Ofer Strichman},
  title        = {Analysis of Core-Guided MaxSat Using Cores and Correction Sets},
  booktitle    = {25th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel},
  series       = {LIPIcs},
  volume       = {236},
  pages        = {26:1--26:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2022.26},
  doi          = {10.4230/LIPICS.SAT.2022.26},
  timestamp    = {Thu, 28 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/NarodytskaB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/NiskanenBJ22,
  author       = {Andreas Niskanen and
                  Jeremias Berg and
                  Matti J{\"{a}}rvisalo},
  editor       = {Kuldeep S. Meel and
                  Ofer Strichman},
  title        = {Incremental Maximum Satisfiability},
  booktitle    = {25th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel},
  series       = {LIPIcs},
  volume       = {236},
  pages        = {14:1--14:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2022.14},
  doi          = {10.4230/LIPICS.SAT.2022.14},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sat/NiskanenBJ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/ReichlS22,
  author       = {Franz{-}Xaver Reichl and
                  Friedrich Slivovsky},
  editor       = {Kuldeep S. Meel and
                  Ofer Strichman},
  title        = {Pedant: {A} Certifying {DQBF} Solver},
  booktitle    = {25th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel},
  series       = {LIPIcs},
  volume       = {236},
  pages        = {20:1--20:10},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2022.20},
  doi          = {10.4230/LIPICS.SAT.2022.20},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sat/ReichlS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/SchleitzerB22,
  author       = {Agnes Schleitzer and
                  Olaf Beyersdorff},
  editor       = {Kuldeep S. Meel and
                  Ofer Strichman},
  title        = {Classes of Hard Formulas for {QBF} Resolution},
  booktitle    = {25th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel},
  series       = {LIPIcs},
  volume       = {236},
  pages        = {5:1--5:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2022.5},
  doi          = {10.4230/LIPICS.SAT.2022.5},
  timestamp    = {Thu, 28 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/SchleitzerB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/Slivovsky22,
  author       = {Friedrich Slivovsky},
  editor       = {Kuldeep S. Meel and
                  Ofer Strichman},
  title        = {Quantified {CDCL} with Universal Resolution},
  booktitle    = {25th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel},
  series       = {LIPIcs},
  volume       = {236},
  pages        = {24:1--24:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2022.24},
  doi          = {10.4230/LIPICS.SAT.2022.24},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sat/Slivovsky22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/SubercaseauxH22,
  author       = {Bernardo Subercaseaux and
                  Marijn J. H. Heule},
  editor       = {Kuldeep S. Meel and
                  Ofer Strichman},
  title        = {The Packing Chromatic Number of the Infinite Square Grid Is at Least
                  14},
  booktitle    = {25th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel},
  series       = {LIPIcs},
  volume       = {236},
  pages        = {21:1--21:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2022.21},
  doi          = {10.4230/LIPICS.SAT.2022.21},
  timestamp    = {Thu, 28 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/SubercaseauxH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/WangTJS22,
  author       = {Hao{-}Ren Wang and
                  Kuan{-}Hua Tu and
                  Jie{-}Hong Roland Jiang and
                  Christoph Scholl},
  editor       = {Kuldeep S. Meel and
                  Ofer Strichman},
  title        = {Quantifier Elimination in Stochastic Boolean Satisfiability},
  booktitle    = {25th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel},
  series       = {LIPIcs},
  volume       = {236},
  pages        = {23:1--23:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2022.23},
  doi          = {10.4230/LIPICS.SAT.2022.23},
  timestamp    = {Wed, 03 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/WangTJS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/X22,
  editor       = {Kuldeep S. Meel and
                  Ofer Strichman},
  title        = {Front Matter, Table of Contents, Preface, Conference Organization},
  booktitle    = {25th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel},
  series       = {LIPIcs},
  volume       = {236},
  pages        = {0:1--0:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2022.0},
  doi          = {10.4230/LIPICS.SAT.2022.0},
  timestamp    = {Thu, 28 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/X22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/sat/2022,
  editor       = {Kuldeep S. Meel and
                  Ofer Strichman},
  title        = {25th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel},
  series       = {LIPIcs},
  volume       = {236},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://www.dagstuhl.de/dagpub/978-3-95977-242-6},
  isbn         = {978-3-95977-242-6},
  timestamp    = {Thu, 28 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/2022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.