Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/sat/AtseriasL19,
  author       = {Albert Atserias and
                  Massimo Lauria},
  editor       = {Mikol{\'{a}}s Janota and
                  In{\^{e}}s Lynce},
  title        = {Circular (Yet Sound) Proofs},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2019 - 22nd
                  International Conference, {SAT} 2019, Lisbon, Portugal, July 9-12,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11628},
  pages        = {1--18},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-24258-9\_1},
  doi          = {10.1007/978-3-030-24258-9\_1},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/AtseriasL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/BeyersdorffCCM19,
  author       = {Olaf Beyersdorff and
                  Leroy Chew and
                  Judith Clymo and
                  Meena Mahajan},
  editor       = {Mikol{\'{a}}s Janota and
                  In{\^{e}}s Lynce},
  title        = {Short Proofs in {QBF} Expansion},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2019 - 22nd
                  International Conference, {SAT} 2019, Lisbon, Portugal, July 9-12,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11628},
  pages        = {19--35},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-24258-9\_2},
  doi          = {10.1007/978-3-030-24258-9\_2},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sat/BeyersdorffCCM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/BlinkhornB19,
  author       = {Joshua Blinkhorn and
                  Olaf Beyersdorff},
  editor       = {Mikol{\'{a}}s Janota and
                  In{\^{e}}s Lynce},
  title        = {Proof Complexity of {QBF} Symmetry Recomputation},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2019 - 22nd
                  International Conference, {SAT} 2019, Lisbon, Portugal, July 9-12,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11628},
  pages        = {36--52},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-24258-9\_3},
  doi          = {10.1007/978-3-030-24258-9\_3},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sat/BlinkhornB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/BussT19,
  author       = {Sam Buss and
                  Neil Thapen},
  editor       = {Mikol{\'{a}}s Janota and
                  In{\^{e}}s Lynce},
  title        = {{DRAT} Proofs, Propagation Redundancy, and Extended Resolution},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2019 - 22nd
                  International Conference, {SAT} 2019, Lisbon, Portugal, July 9-12,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11628},
  pages        = {71--89},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-24258-9\_5},
  doi          = {10.1007/978-3-030-24258-9\_5},
  timestamp    = {Mon, 01 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/BussT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/Capelli19,
  author       = {Florent Capelli},
  editor       = {Mikol{\'{a}}s Janota and
                  In{\^{e}}s Lynce},
  title        = {Knowledge Compilation Languages as Proof Systems},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2019 - 22nd
                  International Conference, {SAT} 2019, Lisbon, Portugal, July 9-12,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11628},
  pages        = {90--99},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-24258-9\_6},
  doi          = {10.1007/978-3-030-24258-9\_6},
  timestamp    = {Fri, 05 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/Capelli19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/ChewC19,
  author       = {Leroy Chew and
                  Judith Clymo},
  editor       = {Mikol{\'{a}}s Janota and
                  In{\^{e}}s Lynce},
  title        = {The Equivalences of Refutational {QRAT}},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2019 - 22nd
                  International Conference, {SAT} 2019, Lisbon, Portugal, July 9-12,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11628},
  pages        = {100--116},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-24258-9\_7},
  doi          = {10.1007/978-3-030-24258-9\_7},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sat/ChewC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/DixitK19,
  author       = {Akhil A. Dixit and
                  Phokion G. Kolaitis},
  editor       = {Mikol{\'{a}}s Janota and
                  In{\^{e}}s Lynce},
  title        = {A SAT-Based System for Consistent Query Answering},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2019 - 22nd
                  International Conference, {SAT} 2019, Lisbon, Portugal, July 9-12,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11628},
  pages        = {117--135},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-24258-9\_8},
  doi          = {10.1007/978-3-030-24258-9\_8},
  timestamp    = {Mon, 01 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/DixitK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/FazekasBS19,
  author       = {Katalin Fazekas and
                  Armin Biere and
                  Christoph Scholl},
  editor       = {Mikol{\'{a}}s Janota and
                  In{\^{e}}s Lynce},
  title        = {Incremental Inprocessing in {SAT} Solving},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2019 - 22nd
                  International Conference, {SAT} 2019, Lisbon, Portugal, July 9-12,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11628},
  pages        = {136--154},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-24258-9\_9},
  doi          = {10.1007/978-3-030-24258-9\_9},
  timestamp    = {Tue, 02 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/FazekasBS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/HeuleKS19,
  author       = {Marijn J. H. Heule and
                  Manuel Kauers and
                  Martina Seidl},
  editor       = {Mikol{\'{a}}s Janota and
                  In{\^{e}}s Lynce},
  title        = {Local Search for Fast Matrix Multiplication},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2019 - 22nd
                  International Conference, {SAT} 2019, Lisbon, Portugal, July 9-12,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11628},
  pages        = {155--163},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-24258-9\_10},
  doi          = {10.1007/978-3-030-24258-9\_10},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/HeuleKS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/HickeyB19,
  author       = {Randy Hickey and
                  Fahiem Bacchus},
  editor       = {Mikol{\'{a}}s Janota and
                  In{\^{e}}s Lynce},
  title        = {Speeding Up Assumption-Based {SAT}},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2019 - 22nd
                  International Conference, {SAT} 2019, Lisbon, Portugal, July 9-12,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11628},
  pages        = {164--182},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-24258-9\_11},
  doi          = {10.1007/978-3-030-24258-9\_11},
  timestamp    = {Mon, 01 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/HickeyB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/JamaliM19,
  author       = {Sima Jamali and
                  David Mitchell},
  editor       = {Mikol{\'{a}}s Janota and
                  In{\^{e}}s Lynce},
  title        = {Simplifying {CDCL} Clause Database Reduction},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2019 - 22nd
                  International Conference, {SAT} 2019, Lisbon, Portugal, July 9-12,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11628},
  pages        = {183--192},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-24258-9\_12},
  doi          = {10.1007/978-3-030-24258-9\_12},
  timestamp    = {Mon, 01 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/JamaliM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/KieslS19,
  author       = {Benjamin Kiesl and
                  Martina Seidl},
  editor       = {Mikol{\'{a}}s Janota and
                  In{\^{e}}s Lynce},
  title        = {{QRAT} Polynomially Simulates {\(\forall\)} {\textbackslash}text -Exp+Res},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2019 - 22nd
                  International Conference, {SAT} 2019, Lisbon, Portugal, July 9-12,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11628},
  pages        = {193--202},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-24258-9\_13},
  doi          = {10.1007/978-3-030-24258-9\_13},
  timestamp    = {Mon, 01 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/KieslS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/LonsingE19,
  author       = {Florian Lonsing and
                  Uwe Egly},
  editor       = {Mikol{\'{a}}s Janota and
                  In{\^{e}}s Lynce},
  title        = {QRATPre+: Effective {QBF} Preprocessing via Strong Redundancy Properties},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2019 - 22nd
                  International Conference, {SAT} 2019, Lisbon, Portugal, July 9-12,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11628},
  pages        = {203--210},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-24258-9\_14},
  doi          = {10.1007/978-3-030-24258-9\_14},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/LonsingE19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/MenciaKIM19,
  author       = {Carlos Menc{\'{\i}}a and
                  Oliver Kullmann and
                  Alexey Ignatiev and
                  Jo{\~{a}}o Marques{-}Silva},
  editor       = {Mikol{\'{a}}s Janota and
                  In{\^{e}}s Lynce},
  title        = {On Computing the Union of MUSes},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2019 - 22nd
                  International Conference, {SAT} 2019, Lisbon, Portugal, July 9-12,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11628},
  pages        = {211--221},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-24258-9\_15},
  doi          = {10.1007/978-3-030-24258-9\_15},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sat/MenciaKIM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/MengelW19,
  author       = {Stefan Mengel and
                  Romain Wallon},
  editor       = {Mikol{\'{a}}s Janota and
                  In{\^{e}}s Lynce},
  title        = {Revisiting Graph Width Measures for CNF-Encodings},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2019 - 22nd
                  International Conference, {SAT} 2019, Lisbon, Portugal, July 9-12,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11628},
  pages        = {222--238},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-24258-9\_16},
  doi          = {10.1007/978-3-030-24258-9\_16},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/MengelW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/MohleB19,
  author       = {Sibylle M{\"{o}}hle and
                  Armin Biere},
  editor       = {Mikol{\'{a}}s Janota and
                  In{\^{e}}s Lynce},
  title        = {Backing Backtracking},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2019 - 22nd
                  International Conference, {SAT} 2019, Lisbon, Portugal, July 9-12,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11628},
  pages        = {250--266},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-24258-9\_18},
  doi          = {10.1007/978-3-030-24258-9\_18},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/MohleB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/MorgadoIBMB19,
  author       = {Ant{\'{o}}nio Morgado and
                  Alexey Ignatiev and
                  Maria Luisa Bonet and
                  Jo{\~{a}}o Marques{-}Silva and
                  Sam Buss},
  editor       = {Mikol{\'{a}}s Janota and
                  In{\^{e}}s Lynce},
  title        = {DRMaxSAT with MaxHS: First Contact},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2019 - 22nd
                  International Conference, {SAT} 2019, Lisbon, Portugal, July 9-12,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11628},
  pages        = {239--249},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-24258-9\_17},
  doi          = {10.1007/978-3-030-24258-9\_17},
  timestamp    = {Sun, 12 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sat/MorgadoIBMB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/NarodytskaSMIM19,
  author       = {Nina Narodytska and
                  Aditya A. Shrotri and
                  Kuldeep S. Meel and
                  Alexey Ignatiev and
                  Jo{\~{a}}o Marques{-}Silva},
  editor       = {Mikol{\'{a}}s Janota and
                  In{\^{e}}s Lynce},
  title        = {Assessing Heuristic Machine Learning Explanations with Model Counting},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2019 - 22nd
                  International Conference, {SAT} 2019, Lisbon, Portugal, July 9-12,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11628},
  pages        = {267--278},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-24258-9\_19},
  doi          = {10.1007/978-3-030-24258-9\_19},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sat/NarodytskaSMIM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/NotzliRBNPBT19,
  author       = {Andres N{\"{o}}tzli and
                  Andrew Reynolds and
                  Haniel Barbosa and
                  Aina Niemetz and
                  Mathias Preiner and
                  Clark W. Barrett and
                  Cesare Tinelli},
  editor       = {Mikol{\'{a}}s Janota and
                  In{\^{e}}s Lynce},
  title        = {Syntax-Guided Rewrite Rule Enumeration for {SMT} Solvers},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2019 - 22nd
                  International Conference, {SAT} 2019, Lisbon, Portugal, July 9-12,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11628},
  pages        = {279--297},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-24258-9\_20},
  doi          = {10.1007/978-3-030-24258-9\_20},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/NotzliRBNPBT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/OmelchenkoB19,
  author       = {Oleksii Omelchenko and
                  Andrei A. Bulatov},
  editor       = {Mikol{\'{a}}s Janota and
                  In{\^{e}}s Lynce},
  title        = {Satisfiability Threshold for Power Law Random 2-SAT in Configuration
                  Model},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2019 - 22nd
                  International Conference, {SAT} 2019, Lisbon, Portugal, July 9-12,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11628},
  pages        = {53--70},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-24258-9\_4},
  doi          = {10.1007/978-3-030-24258-9\_4},
  timestamp    = {Mon, 01 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/OmelchenkoB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/OzdemirNPZB19,
  author       = {Alex Ozdemir and
                  Aina Niemetz and
                  Mathias Preiner and
                  Yoni Zohar and
                  Clark W. Barrett},
  editor       = {Mikol{\'{a}}s Janota and
                  In{\^{e}}s Lynce},
  title        = {DRAT-based Bit-Vector Proofs in {CVC4}},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2019 - 22nd
                  International Conference, {SAT} 2019, Lisbon, Portugal, July 9-12,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11628},
  pages        = {298--305},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-24258-9\_21},
  doi          = {10.1007/978-3-030-24258-9\_21},
  timestamp    = {Fri, 05 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/OzdemirNPZB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/PeitlSS19,
  author       = {Tom{\'{a}}s Peitl and
                  Friedrich Slivovsky and
                  Stefan Szeider},
  editor       = {Mikol{\'{a}}s Janota and
                  In{\^{e}}s Lynce},
  title        = {Combining Resolution-Path Dependencies with Dependency Learning},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2019 - 22nd
                  International Conference, {SAT} 2019, Lisbon, Portugal, July 9-12,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11628},
  pages        = {306--318},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-24258-9\_22},
  doi          = {10.1007/978-3-030-24258-9\_22},
  timestamp    = {Mon, 01 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/PeitlSS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/PeitlSS19a,
  author       = {Tom{\'{a}}s Peitl and
                  Friedrich Slivovsky and
                  Stefan Szeider},
  editor       = {Mikol{\'{a}}s Janota and
                  In{\^{e}}s Lynce},
  title        = {Proof Complexity of Fragments of Long-Distance Q-Resolution},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2019 - 22nd
                  International Conference, {SAT} 2019, Lisbon, Portugal, July 9-12,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11628},
  pages        = {319--335},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-24258-9\_23},
  doi          = {10.1007/978-3-030-24258-9\_23},
  timestamp    = {Mon, 01 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/PeitlSS19a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/SelsamB19,
  author       = {Daniel Selsam and
                  Nikolaj S. Bj{\o}rner},
  editor       = {Mikol{\'{a}}s Janota and
                  In{\^{e}}s Lynce},
  title        = {Guiding High-Performance {SAT} Solvers with Unsat-Core Predictions},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2019 - 22nd
                  International Conference, {SAT} 2019, Lisbon, Portugal, July 9-12,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11628},
  pages        = {336--353},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-24258-9\_24},
  doi          = {10.1007/978-3-030-24258-9\_24},
  timestamp    = {Thu, 14 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/SelsamB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/ShihDC19,
  author       = {Andy Shih and
                  Adnan Darwiche and
                  Arthur Choi},
  editor       = {Mikol{\'{a}}s Janota and
                  In{\^{e}}s Lynce},
  title        = {Verifying Binarized Neural Networks by Angluin-Style Learning},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2019 - 22nd
                  International Conference, {SAT} 2019, Lisbon, Portugal, July 9-12,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11628},
  pages        = {354--370},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-24258-9\_25},
  doi          = {10.1007/978-3-030-24258-9\_25},
  timestamp    = {Mon, 01 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/ShihDC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/SoosKM19,
  author       = {Mate Soos and
                  Raghav Kulkarni and
                  Kuldeep S. Meel},
  editor       = {Mikol{\'{a}}s Janota and
                  In{\^{e}}s Lynce},
  title        = {CrystalBall: Gazing in the Black Box of {SAT} Solving},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2019 - 22nd
                  International Conference, {SAT} 2019, Lisbon, Portugal, July 9-12,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11628},
  pages        = {371--387},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-24258-9\_26},
  doi          = {10.1007/978-3-030-24258-9\_26},
  timestamp    = {Wed, 10 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/SoosKM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/TentrupR19,
  author       = {Leander Tentrup and
                  Markus N. Rabe},
  editor       = {Mikol{\'{a}}s Janota and
                  In{\^{e}}s Lynce},
  title        = {Clausal Abstraction for {DQBF}},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2019 - 22nd
                  International Conference, {SAT} 2019, Lisbon, Portugal, July 9-12,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11628},
  pages        = {388--405},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-24258-9\_27},
  doi          = {10.1007/978-3-030-24258-9\_27},
  timestamp    = {Fri, 05 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/TentrupR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/VyasW19,
  author       = {Nikhil Vyas and
                  R. Ryan Williams},
  editor       = {Mikol{\'{a}}s Janota and
                  In{\^{e}}s Lynce},
  title        = {On Super Strong {ETH}},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2019 - 22nd
                  International Conference, {SAT} 2019, Lisbon, Portugal, July 9-12,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11628},
  pages        = {406--423},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-24258-9\_28},
  doi          = {10.1007/978-3-030-24258-9\_28},
  timestamp    = {Thu, 10 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/VyasW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sat/2019,
  editor       = {Mikol{\'{a}}s Janota and
                  In{\^{e}}s Lynce},
  title        = {Theory and Applications of Satisfiability Testing - {SAT} 2019 - 22nd
                  International Conference, {SAT} 2019, Lisbon, Portugal, July 9-12,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11628},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-24258-9},
  doi          = {10.1007/978-3-030-24258-9},
  isbn         = {978-3-030-24257-2},
  timestamp    = {Mon, 01 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/2019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics