Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/sat/sat2019.bht:"
@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} }
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.