Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/sat/0001B23,
  author       = {Benjamin B{\"{o}}hm and
                  Olaf Beyersdorff},
  editor       = {Meena Mahajan and
                  Friedrich Slivovsky},
  title        = {{QCDCL} vs {QBF} Resolution: Further Insights},
  booktitle    = {26th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2023, July 4-8, 2023, Alghero, Italy},
  series       = {LIPIcs},
  volume       = {271},
  pages        = {4:1--4:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2023.4},
  doi          = {10.4230/LIPICS.SAT.2023.4},
  timestamp    = {Wed, 21 Aug 2024 22:46:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/0001B23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/0002SBSM23,
  author       = {Jiong Yang and
                  Arijit Shaw and
                  Teodora Baluta and
                  Mate Soos and
                  Kuldeep S. Meel},
  editor       = {Meena Mahajan and
                  Friedrich Slivovsky},
  title        = {Explaining {SAT} Solving Using Causal Reasoning},
  booktitle    = {26th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2023, July 4-8, 2023, Alghero, Italy},
  series       = {LIPIcs},
  volume       = {271},
  pages        = {28:1--28:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2023.28},
  doi          = {10.4230/LIPICS.SAT.2023.28},
  timestamp    = {Thu, 10 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/0002SBSM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/AndersSS23,
  author       = {Markus Anders and
                  Pascal Schweitzer and
                  Mate Soos},
  editor       = {Meena Mahajan and
                  Friedrich Slivovsky},
  title        = {Algorithms Transcending the SAT-Symmetry Interface},
  booktitle    = {26th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2023, July 4-8, 2023, Alghero, Italy},
  series       = {LIPIcs},
  volume       = {271},
  pages        = {1:1--1:21},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2023.1},
  doi          = {10.4230/LIPICS.SAT.2023.1},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/AndersSS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/BeyersdorffHS23,
  author       = {Olaf Beyersdorff and
                  Tim Hoffmann and
                  Luc Nicolas Spachmann},
  editor       = {Meena Mahajan and
                  Friedrich Slivovsky},
  title        = {Proof Complexity of Propositional Model Counting},
  booktitle    = {26th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2023, July 4-8, 2023, Alghero, Italy},
  series       = {LIPIcs},
  volume       = {271},
  pages        = {2:1--2:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2023.2},
  doi          = {10.4230/LIPICS.SAT.2023.2},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/BeyersdorffHS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/BiereFW23,
  author       = {Armin Biere and
                  Nils Froleyks and
                  Wenxi Wang},
  editor       = {Meena Mahajan and
                  Friedrich Slivovsky},
  title        = {CadiBack: Extracting Backbones with CaDiCaL},
  booktitle    = {26th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2023, July 4-8, 2023, Alghero, Italy},
  series       = {LIPIcs},
  volume       = {271},
  pages        = {3:1--3:12},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2023.3},
  doi          = {10.4230/LIPICS.SAT.2023.3},
  timestamp    = {Thu, 10 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/BiereFW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/BonacinaBL23,
  author       = {Ilario Bonacina and
                  Maria Luisa Bonet and
                  Jordi Levy},
  editor       = {Meena Mahajan and
                  Friedrich Slivovsky},
  title        = {Polynomial Calculus for MaxSAT},
  booktitle    = {26th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2023, July 4-8, 2023, Alghero, Italy},
  series       = {LIPIcs},
  volume       = {271},
  pages        = {5:1--5:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2023.5},
  doi          = {10.4230/LIPICS.SAT.2023.5},
  timestamp    = {Thu, 10 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/BonacinaBL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/BryantNAH23,
  author       = {Randal E. Bryant and
                  Wojciech Nawrocki and
                  Jeremy Avigad and
                  Marijn J. H. Heule},
  editor       = {Meena Mahajan and
                  Friedrich Slivovsky},
  title        = {Certified Knowledge Compilation with Application to Verified Model
                  Counting},
  booktitle    = {26th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2023, July 4-8, 2023, Alghero, Italy},
  series       = {LIPIcs},
  volume       = {271},
  pages        = {6:1--6:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2023.6},
  doi          = {10.4230/LIPICS.SAT.2023.6},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/BryantNAH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/Colnet23,
  author       = {Alexis de Colnet},
  editor       = {Meena Mahajan and
                  Friedrich Slivovsky},
  title        = {Separating Incremental and Non-Incremental Bottom-Up Compilation},
  booktitle    = {26th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2023, July 4-8, 2023, Alghero, Italy},
  series       = {LIPIcs},
  volume       = {271},
  pages        = {7:1--7:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2023.7},
  doi          = {10.4230/LIPICS.SAT.2023.7},
  timestamp    = {Thu, 10 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/Colnet23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/FazekasNPKSB23,
  author       = {Katalin Fazekas and
                  Aina Niemetz and
                  Mathias Preiner and
                  Markus Kirchweger and
                  Stefan Szeider and
                  Armin Biere},
  editor       = {Meena Mahajan and
                  Friedrich Slivovsky},
  title        = {{IPASIR-UP:} User Propagators for {CDCL}},
  booktitle    = {26th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2023, July 4-8, 2023, Alghero, Italy},
  series       = {LIPIcs},
  volume       = {271},
  pages        = {8:1--8:13},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2023.8},
  doi          = {10.4230/LIPICS.SAT.2023.8},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/FazekasNPKSB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/FriedNS23,
  author       = {Dror Fried and
                  Alexander Nadel and
                  Yogev Shalmon},
  editor       = {Meena Mahajan and
                  Friedrich Slivovsky},
  title        = {AllSAT for Combinational Circuits},
  booktitle    = {26th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2023, July 4-8, 2023, Alghero, Italy},
  series       = {LIPIcs},
  volume       = {271},
  pages        = {9:1--9:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2023.9},
  doi          = {10.4230/LIPICS.SAT.2023.9},
  timestamp    = {Thu, 10 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/FriedNS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/FungT23,
  author       = {Long{-}Hin Fung and
                  Tony Tan},
  editor       = {Meena Mahajan and
                  Friedrich Slivovsky},
  title        = {On the Complexity of k-DQBF},
  booktitle    = {26th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2023, July 4-8, 2023, Alghero, Italy},
  series       = {LIPIcs},
  volume       = {271},
  pages        = {10:1--10:15},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2023.10},
  doi          = {10.4230/LIPICS.SAT.2023.10},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/FungT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/HaberlandtGH23,
  author       = {Andrew Haberlandt and
                  Harrison Green and
                  Marijn J. H. Heule},
  editor       = {Meena Mahajan and
                  Friedrich Slivovsky},
  title        = {Effective Auxiliary Variables via Structured Reencoding},
  booktitle    = {26th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2023, July 4-8, 2023, Alghero, Italy},
  series       = {LIPIcs},
  volume       = {271},
  pages        = {11:1--11:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2023.11},
  doi          = {10.4230/LIPICS.SAT.2023.11},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/HaberlandtGH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/Katsirelos23,
  author       = {George Katsirelos},
  editor       = {Meena Mahajan and
                  Friedrich Slivovsky},
  title        = {An Analysis of Core-Guided Maximum Satisfiability Solvers Using Linear
                  Programming},
  booktitle    = {26th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2023, July 4-8, 2023, Alghero, Italy},
  series       = {LIPIcs},
  volume       = {271},
  pages        = {12:1--12:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2023.12},
  doi          = {10.4230/LIPICS.SAT.2023.12},
  timestamp    = {Thu, 10 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/Katsirelos23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/KirchwegerPS23,
  author       = {Markus Kirchweger and
                  Tom{\'{a}}s Peitl and
                  Stefan Szeider},
  editor       = {Meena Mahajan and
                  Friedrich Slivovsky},
  title        = {A {SAT} Solver's Opinion on the Erd{\H{o}}s-Faber-Lov{\'{a}}sz
                  Conjecture},
  booktitle    = {26th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2023, July 4-8, 2023, Alghero, Italy},
  series       = {LIPIcs},
  volume       = {271},
  pages        = {13:1--13:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2023.13},
  doi          = {10.4230/LIPICS.SAT.2023.13},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/KirchwegerPS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/KirchwegerSS23,
  author       = {Markus Kirchweger and
                  Manfred Scheucher and
                  Stefan Szeider},
  editor       = {Meena Mahajan and
                  Friedrich Slivovsky},
  title        = {SAT-Based Generation of Planar Graphs},
  booktitle    = {26th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2023, July 4-8, 2023, Alghero, Italy},
  series       = {LIPIcs},
  volume       = {271},
  pages        = {14:1--14:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2023.14},
  doi          = {10.4230/LIPICS.SAT.2023.14},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/KirchwegerSS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/MasinaSS23,
  author       = {Gabriele Masina and
                  Giuseppe Spallitta and
                  Roberto Sebastiani},
  editor       = {Meena Mahajan and
                  Friedrich Slivovsky},
  title        = {On {CNF} Conversion for Disjoint {SAT} Enumeration},
  booktitle    = {26th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2023, July 4-8, 2023, Alghero, Italy},
  series       = {LIPIcs},
  volume       = {271},
  pages        = {15:1--15:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2023.15},
  doi          = {10.4230/LIPICS.SAT.2023.15},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/MasinaSS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/Mengel23,
  author       = {Stefan Mengel},
  editor       = {Meena Mahajan and
                  Friedrich Slivovsky},
  title        = {Bounds on BDD-Based Bucket Elimination},
  booktitle    = {26th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2023, July 4-8, 2023, Alghero, Italy},
  series       = {LIPIcs},
  volume       = {271},
  pages        = {16:1--16:11},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2023.16},
  doi          = {10.4230/LIPICS.SAT.2023.16},
  timestamp    = {Thu, 10 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/Mengel23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/Nadel23,
  author       = {Alexander Nadel},
  editor       = {Meena Mahajan and
                  Friedrich Slivovsky},
  title        = {Solving Huge Instances with Intel(R) {SAT} Solver},
  booktitle    = {26th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2023, July 4-8, 2023, Alghero, Italy},
  series       = {LIPIcs},
  volume       = {271},
  pages        = {17:1--17:12},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2023.17},
  doi          = {10.4230/LIPICS.SAT.2023.17},
  timestamp    = {Thu, 10 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/Nadel23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/Oliveras0W0G23,
  author       = {Albert Oliveras and
                  Chunxiao Li and
                  Darryl Wu and
                  Jonathan Chung and
                  Vijay Ganesh},
  editor       = {Meena Mahajan and
                  Friedrich Slivovsky},
  title        = {Learning Shorter Redundant Clauses in {SDCL} Using MaxSAT},
  booktitle    = {26th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2023, July 4-8, 2023, Alghero, Italy},
  series       = {LIPIcs},
  volume       = {271},
  pages        = {18:1--18:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2023.18},
  doi          = {10.4230/LIPICS.SAT.2023.18},
  timestamp    = {Mon, 01 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/Oliveras0W0G23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/OrvalhoMM23,
  author       = {Pedro Orvalho and
                  Vasco Manquinho and
                  Ruben Martins},
  editor       = {Meena Mahajan and
                  Friedrich Slivovsky},
  title        = {UpMax: User Partitioning for MaxSAT},
  booktitle    = {26th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2023, July 4-8, 2023, Alghero, Italy},
  series       = {LIPIcs},
  volume       = {271},
  pages        = {19:1--19:13},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2023.19},
  doi          = {10.4230/LIPICS.SAT.2023.19},
  timestamp    = {Tue, 17 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/OrvalhoMM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/PlankS23,
  author       = {Andreas Plank and
                  Martina Seidl},
  editor       = {Meena Mahajan and
                  Friedrich Slivovsky},
  title        = {QMusExt: {A} Minimal (Un)satisfiable Core Extractor for Quantified
                  Boolean Formulas},
  booktitle    = {26th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2023, July 4-8, 2023, Alghero, Italy},
  series       = {LIPIcs},
  volume       = {271},
  pages        = {20:1--20:10},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2023.20},
  doi          = {10.4230/LIPICS.SAT.2023.20},
  timestamp    = {Thu, 10 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/PlankS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/PollittFB23,
  author       = {Florian Pollitt and
                  Mathias Fleury and
                  Armin Biere},
  editor       = {Meena Mahajan and
                  Friedrich Slivovsky},
  title        = {Faster {LRAT} Checking Than Solving with CaDiCaL},
  booktitle    = {26th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2023, July 4-8, 2023, Alghero, Italy},
  series       = {LIPIcs},
  volume       = {271},
  pages        = {21:1--21:12},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2023.21},
  doi          = {10.4230/LIPICS.SAT.2023.21},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/PollittFB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/Rebola-Pardo23,
  author       = {Adri{\'{a}}n Rebola{-}Pardo},
  editor       = {Meena Mahajan and
                  Friedrich Slivovsky},
  title        = {Even Shorter Proofs Without New Variables},
  booktitle    = {26th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2023, July 4-8, 2023, Alghero, Italy},
  series       = {LIPIcs},
  volume       = {271},
  pages        = {22:1--22:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2023.22},
  doi          = {10.4230/LIPICS.SAT.2023.22},
  timestamp    = {Thu, 10 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/Rebola-Pardo23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/SchwarzovaSM23,
  author       = {Tereza Schwarzov{\'{a}} and
                  Jan Strejcek and
                  Juraj Major},
  editor       = {Meena Mahajan and
                  Friedrich Slivovsky},
  title        = {Reducing Acceptance Marks in Emerson-Lei Automata by {QBF} Solving},
  booktitle    = {26th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2023, July 4-8, 2023, Alghero, Italy},
  series       = {LIPIcs},
  volume       = {271},
  pages        = {23:1--23:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2023.23},
  doi          = {10.4230/LIPICS.SAT.2023.23},
  timestamp    = {Thu, 10 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/SchwarzovaSM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/ShaikHSP23,
  author       = {Irfansha Shaik and
                  Maximilian Heisinger and
                  Martina Seidl and
                  Jaco van de Pol},
  editor       = {Meena Mahajan and
                  Friedrich Slivovsky},
  title        = {Validation of {QBF} Encodings with Winning Strategies},
  booktitle    = {26th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2023, July 4-8, 2023, Alghero, Italy},
  series       = {LIPIcs},
  volume       = {271},
  pages        = {24:1--24:10},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2023.24},
  doi          = {10.4230/LIPICS.SAT.2023.24},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/ShaikHSP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/SharmaB023,
  author       = {Anshujit Sharma and
                  Matthew Burns and
                  Michael C. Huang},
  editor       = {Meena Mahajan and
                  Friedrich Slivovsky},
  title        = {Combining Cubic Dynamical Solvers with Make/Break Heuristics to Solve
                  {SAT}},
  booktitle    = {26th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2023, July 4-8, 2023, Alghero, Italy},
  series       = {LIPIcs},
  volume       = {271},
  pages        = {25:1--25:21},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2023.25},
  doi          = {10.4230/LIPICS.SAT.2023.25},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/SharmaB023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/ToranW23,
  author       = {Jacobo Tor{\'{a}}n and
                  Florian W{\"{o}}rz},
  editor       = {Meena Mahajan and
                  Friedrich Slivovsky},
  title        = {Cutting Planes Width and the Complexity of Graph Isomorphism Refutations},
  booktitle    = {26th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2023, July 4-8, 2023, Alghero, Italy},
  series       = {LIPIcs},
  volume       = {271},
  pages        = {26:1--26:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2023.26},
  doi          = {10.4230/LIPICS.SAT.2023.26},
  timestamp    = {Thu, 10 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/ToranW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/Vinyals0FKG23,
  author       = {Marc Vinyals and
                  Chunxiao Li and
                  Noah Fleming and
                  Antonina Kolokolova and
                  Vijay Ganesh},
  editor       = {Meena Mahajan and
                  Friedrich Slivovsky},
  title        = {Limits of {CDCL} Learning via Merge Resolution},
  booktitle    = {26th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2023, July 4-8, 2023, Alghero, Italy},
  series       = {LIPIcs},
  volume       = {271},
  pages        = {27:1--27:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2023.27},
  doi          = {10.4230/LIPICS.SAT.2023.27},
  timestamp    = {Mon, 01 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/Vinyals0FKG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/X23,
  editor       = {Meena Mahajan and
                  Friedrich Slivovsky},
  title        = {Front Matter, Table of Contents, Preface, Conference Organization},
  booktitle    = {26th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2023, July 4-8, 2023, Alghero, Italy},
  series       = {LIPIcs},
  volume       = {271},
  pages        = {0:1--0:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2023.0},
  doi          = {10.4230/LIPICS.SAT.2023.0},
  timestamp    = {Thu, 10 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/X23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/ZhouLYH23,
  author       = {Junping Zhou and
                  Jiaxin Liang and
                  Minghao Yin and
                  Bo He},
  editor       = {Meena Mahajan and
                  Friedrich Slivovsky},
  title        = {{LS-DTKMS:} {A} Local Search Algorithm for Diversified Top-k MaxSAT
                  Problem},
  booktitle    = {26th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2023, July 4-8, 2023, Alghero, Italy},
  series       = {LIPIcs},
  volume       = {271},
  pages        = {29:1--29:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2023.29},
  doi          = {10.4230/LIPICS.SAT.2023.29},
  timestamp    = {Thu, 10 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/ZhouLYH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/ZhouWY23,
  author       = {Neng{-}Fa Zhou and
                  Ruiwei Wang and
                  Roland H. C. Yap},
  editor       = {Meena Mahajan and
                  Friedrich Slivovsky},
  title        = {A Comparison of {SAT} Encodings for Acyclicity of Directed Graphs},
  booktitle    = {26th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2023, July 4-8, 2023, Alghero, Italy},
  series       = {LIPIcs},
  volume       = {271},
  pages        = {30:1--30:9},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.SAT.2023.30},
  doi          = {10.4230/LIPICS.SAT.2023.30},
  timestamp    = {Thu, 10 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/ZhouWY23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/sat/2023,
  editor       = {Meena Mahajan and
                  Friedrich Slivovsky},
  title        = {26th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2023, July 4-8, 2023, Alghero, Italy},
  series       = {LIPIcs},
  volume       = {271},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://www.dagstuhl.de/dagpub/978-3-95977-286-0},
  isbn         = {978-3-95977-286-0},
  timestamp    = {Wed, 21 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/2023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.