default search action

combined dblp search
author search
venue search
publication search

ask others

22nd SAT 2019: Lisbon, Portugal

> Home > Conferences and Workshops > SAT

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/sat/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/2019
Mikolás Janota, Inês Lynce:
Theory and Applications of Satisfiability Testing - SAT 2019 - 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings. Lecture Notes in Computer Science 11628, Springer 2019, ISBN 978-3-030-24257-2
- view
  authority control:
- export record
  dblp key:
  - conf/sat/AtseriasL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/AtseriasL19
Albert Atserias, Massimo Lauria:
Circular (Yet Sound) Proofs. 1-18
- view
  authority control:
- export record
  dblp key:
  - conf/sat/BeyersdorffCCM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/BeyersdorffCCM19
Olaf Beyersdorff, Leroy Chew, Judith Clymo, Meena Mahajan:
Short Proofs in QBF Expansion. 19-35
- view
  authority control:
- export record
  dblp key:
  - conf/sat/BlinkhornB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/BlinkhornB19
Joshua Blinkhorn, Olaf Beyersdorff:
Proof Complexity of QBF Symmetry Recomputation. 36-52
- view
  authority control:
- export record
  dblp key:
  - conf/sat/OmelchenkoB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/OmelchenkoB19
Oleksii Omelchenko, Andrei A. Bulatov:
Satisfiability Threshold for Power Law Random 2-SAT in Configuration Model. 53-70
- view
  authority control:
- export record
  dblp key:
  - conf/sat/BussT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/BussT19
Sam Buss, Neil Thapen:
DRAT Proofs, Propagation Redundancy, and Extended Resolution. 71-89
- view
  authority control:
- export record
  dblp key:
  - conf/sat/Capelli19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/Capelli19
Florent Capelli:
Knowledge Compilation Languages as Proof Systems. 90-99
- view
  authority control:
- export record
  dblp key:
  - conf/sat/ChewC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/ChewC19
Leroy Chew, Judith Clymo:
The Equivalences of Refutational QRAT. 100-116
- view
  authority control:
- export record
  dblp key:
  - conf/sat/DixitK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/DixitK19
Akhil A. Dixit, Phokion G. Kolaitis:
A SAT-Based System for Consistent Query Answering. 117-135
- view
  authority control:
- export record
  dblp key:
  - conf/sat/FazekasBS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/FazekasBS19
Katalin Fazekas, Armin Biere, Christoph Scholl:
Incremental Inprocessing in SAT Solving. 136-154
- view
  authority control:
- export record
  dblp key:
  - conf/sat/HeuleKS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/HeuleKS19
Marijn J. H. Heule, Manuel Kauers, Martina Seidl:
Local Search for Fast Matrix Multiplication. 155-163
- view
  authority control:
- export record
  dblp key:
  - conf/sat/HickeyB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/HickeyB19
Randy Hickey, Fahiem Bacchus:
Speeding Up Assumption-Based SAT. 164-182
- view
  authority control:
- export record
  dblp key:
  - conf/sat/JamaliM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/JamaliM19
Sima Jamali, David Mitchell:
Simplifying CDCL Clause Database Reduction. 183-192
- view
  authority control:
- export record
  dblp key:
  - conf/sat/KieslS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/KieslS19
Benjamin Kiesl, Martina Seidl:
QRAT Polynomially Simulates ∀ \text -Exp+Res. 193-202
- view
  authority control:
- export record
  dblp key:
  - conf/sat/LonsingE19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/LonsingE19
Florian Lonsing, Uwe Egly:
QRATPre+: Effective QBF Preprocessing via Strong Redundancy Properties. 203-210
- view
  authority control:
- export record
  dblp key:
  - conf/sat/MenciaKIM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/MenciaKIM19
Carlos Mencía, Oliver Kullmann, Alexey Ignatiev, João Marques-Silva:
On Computing the Union of MUSes. 211-221
- view
  authority control:
- export record
  dblp key:
  - conf/sat/MengelW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/MengelW19
Stefan Mengel, Romain Wallon:
Revisiting Graph Width Measures for CNF-Encodings. 222-238
- view
  authority control:
- export record
  dblp key:
  - conf/sat/MorgadoIBMB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/MorgadoIBMB19
António Morgado, Alexey Ignatiev, Maria Luisa Bonet, João Marques-Silva, Sam Buss:
DRMaxSAT with MaxHS: First Contact. 239-249
- view
  authority control:
- export record
  dblp key:
  - conf/sat/MohleB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/MohleB19
Sibylle Möhle, Armin Biere:
Backing Backtracking. 250-266
- view
  authority control:
- export record
  dblp key:
  - conf/sat/NarodytskaSMIM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/NarodytskaSMIM19
Nina Narodytska, Aditya A. Shrotri, Kuldeep S. Meel, Alexey Ignatiev, João Marques-Silva:
Assessing Heuristic Machine Learning Explanations with Model Counting. 267-278
- view
  authority control:
- export record
  dblp key:
  - conf/sat/NotzliRBNPBT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/NotzliRBNPBT19
Andres Nötzli, Andrew Reynolds, Haniel Barbosa, Aina Niemetz, Mathias Preiner, Clark W. Barrett, Cesare Tinelli:
Syntax-Guided Rewrite Rule Enumeration for SMT Solvers. 279-297
- view
  authority control:
- export record
  dblp key:
  - conf/sat/OzdemirNPZB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/OzdemirNPZB19
Alex Ozdemir, Aina Niemetz, Mathias Preiner, Yoni Zohar, Clark W. Barrett:
DRAT-based Bit-Vector Proofs in CVC4. 298-305
- view
  authority control:
- export record
  dblp key:
  - conf/sat/PeitlSS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/PeitlSS19
Tomás Peitl, Friedrich Slivovsky, Stefan Szeider:
Combining Resolution-Path Dependencies with Dependency Learning. 306-318
- view
  authority control:
- export record
  dblp key:
  - conf/sat/PeitlSS19a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/PeitlSS19a
Tomás Peitl, Friedrich Slivovsky, Stefan Szeider:
Proof Complexity of Fragments of Long-Distance Q-Resolution. 319-335
- view
  authority control:
- export record
  dblp key:
  - conf/sat/SelsamB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/SelsamB19
Daniel Selsam, Nikolaj S. Bjørner:
Guiding High-Performance SAT Solvers with Unsat-Core Predictions. 336-353
- view
  authority control:
- export record
  dblp key:
  - conf/sat/ShihDC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/ShihDC19
Andy Shih, Adnan Darwiche, Arthur Choi:
Verifying Binarized Neural Networks by Angluin-Style Learning. 354-370
- view
  authority control:
- export record
  dblp key:
  - conf/sat/SoosKM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/SoosKM19
Mate Soos, Raghav Kulkarni, Kuldeep S. Meel:
CrystalBall: Gazing in the Black Box of SAT Solving. 371-387
- view
  authority control:
- export record
  dblp key:
  - conf/sat/TentrupR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/TentrupR19
Leander Tentrup, Markus N. Rabe:
Clausal Abstraction for DQBF. 388-405
- view
  authority control:
- export record
  dblp key:
  - conf/sat/VyasW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/VyasW19
Nikhil Vyas, R. Ryan Williams:
On Super Strong ETH. 406-423

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.