Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Dmitry Itsykson, Alexander Knop |
Hard Satisfiable Formulas for Splittings by Linear Combinations. |
SAT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Markus N. Rabe |
A Resolution-Style Proof System for DQBF. |
SAT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Petr Kucera, Petr Savický, Vojtech Vorel |
A Lower Bound on CNF Encodings of the At-Most-One Constraint. |
SAT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey |
A Benders Decomposition Approach to Deciding Modular Linear Integer Arithmetic. |
SAT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dimitris Achlioptas, Panos Theodoropoulos |
Probabilistic Model Counting with Short XORs. |
SAT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Previti, Carlos Mencía, Matti Järvisalo, João Marques-Silva 0001 |
Improving MCS Enumeration via Caching. |
SAT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alexey Ignatiev, António Morgado 0001, João Marques-Silva 0001 |
On Tackling the Limits of Resolution in SAT Solving. |
SAT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Robert Ganian, Stefan Szeider |
New Width Parameters for Model Counting. |
SAT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Neha Lodha, Sebastian Ordyniak, Stefan Szeider |
SAT-Encodings for Special Treewidth and Pathwidth. |
SAT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Serge Gaspers, Toby Walsh (eds.) |
Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings |
SAT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jia Hui Liang, Hari Govind V. K., Pascal Poupart, Krzysztof Czarnecki 0001, Vijay Ganesh |
An Empirical Study of Branching Heuristics Through the Lens of Global Learning Rate. |
SAT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Saeed Nejati, Zack Newsham, Joseph Scott, Jia Hui Liang, Catherine H. Gebotys, Pascal Poupart, Vijay Ganesh |
A Propagation Rate Based Splitting Heuristic for Divide-and-Conquer Solvers. |
SAT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Antti E. J. Hyvärinen, Sepideh Asadi, Karine Even-Mendoza, Grigory Fedyukovich, Hana Chockler, Natasha Sharygina |
Theory Refinement for Program Verification. |
SAT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tuukka Korhonen, Jeremias Berg, Paul Saikko, Matti Järvisalo |
MaxPre: An Extended MaxSAT Preprocessor. |
SAT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Wimmer 0001, Andreas Karrenbauer, Ruben Becker, Christoph Scholl 0001, Bernd Becker 0001 |
From DQBF to QBF by Dependency Elimination. |
SAT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Joshua Blinkhorn, Olaf Beyersdorff |
Shortening QBF Proofs with Dependency Schemes. |
SAT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Lauria, Jan Elffers, Jakob Nordström, Marc Vinyals |
CNFgen: A Generator of Crafted Benchmarks. |
SAT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon |
PaInleSS: A Framework for Parallel SAT Solving. |
SAT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hidetomo Nabeshima, Katsumi Inoue |
Coverage-Based Clause Reduction Heuristics for CDCL Solvers. |
SAT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Audemard, Jean-Marie Lagniez, Nicolas Szczepanski, Sébastien Tabary |
A Distributed Version of Syrup. |
SAT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jo Devriendt, Bart Bogaerts 0001, Maurice Bruynooghe |
Symmetric Explanation Learning: Effective Dynamic Symmetry Handling for SAT. |
SAT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Eldan Cohen, Guoyu Huang, J. Christopher Beck |
(I Can Get) Satisfaction: Preference-Based Scheduling for Concert-Goers at Multi-venue Music Festivals. |
SAT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Peitl, Friedrich Slivovsky, Stefan Szeider |
Dependency Learning for QBF. |
SAT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Miguel Terra-Neves, Inês Lynce, Vasco M. Manquinho |
Introducing Pareto Minimal Correction Subsets. |
SAT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tommi A. Junttila, Matti Karppa, Petteri Kaski, Jukka Kohonen |
An Adaptive Prefix-Assignment Technique for Symmetry Reduction. |
SAT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Klaus Fichte, Neha Lodha, Stefan Szeider |
SAT-Based Local Improvement for Finding Tree Decompositions of Small Width. |
SAT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Peter Lammich |
The GRAT Tool Chain - Efficient (UN)SAT Certificate Checking with Formal Correctness Guarantees. |
SAT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Robert Ganian, M. S. Ramanujan 0001, Stefan Szeider |
Backdoor Treewidth for SAT. |
SAT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Peitl, Friedrich Slivovsky, Stefan Szeider |
Long Distance Q-Resolution with Dependency Schemes. |
SAT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Audemard, Laurent Simon |
Extreme Cases in SAT Problems. |
SAT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Olaf Beyersdorff, Leroy Chew, Renate A. Schmidt, Martin Suda 0001 |
Lifting QBF Resolution Calculi to DQBF. |
SAT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Candeago, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio |
Speeding up the Constraint-Based Method in Difference Logic. |
SAT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Mencía, Alexey Ignatiev, Alessandro Previti, João Marques-Silva 0001 |
MCS Extraction with Sublinear Oracle Queries. |
SAT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jan Elffers, Jan Johannsen, Massimo Lauria, Thomas Magnard, Jakob Nordström, Marc Vinyals |
Trade-offs Between Time and Memory in a Tighter Model of CDCL SAT Solvers. |
SAT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Marijn J. H. Heule, Oliver Kullmann, Victor W. Marek |
Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer. |
SAT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Vsevolod Oparin |
Tight Upper Bound on Splitting by Linear Combinations for Pigeonhole Principle. |
SAT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Valeriy Balabanov, Jie-Hong Roland Jiang, Christoph Scholl 0001, Alan Mishchenko, Robert K. Brayton |
2QBF: Challenges and Solutions. |
SAT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Wimmer 0001, Christoph Scholl 0001, Karina Wimmer, Bernd Becker 0001 |
Dependency Schemes for DQBF. |
SAT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Martin Jonás, Jan Strejcek |
Solving Quantified Bit-Vector Formulas Using Binary Decision Diagrams. |
SAT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nathan Mull, Daniel J. Fremont, Sanjit A. Seshia |
On the Hardness of SAT with Community Structure. |
SAT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | M. Fareed Arif, Carlos Mencía, Alexey Ignatiev, Norbert Manthey, Rafael Peñaloza, João Marques-Silva 0001 |
BEACON: An Efficient SAT-Based Tool for Debugging EL^+ Ontologies. |
SAT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mateus de Oliveira Oliveira |
Satisfiability via Smooth Pictures. |
SAT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Uwe Egly |
On Stronger Calculi for QBFs. |
SAT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Klaus Fichte, Arne Meier, Irina Schindler |
Strong Backdoors for Default Logic. |
SAT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Balyo, Florian Lonsing |
HordeQBF: A Modular and Massively Parallel QBF Solver. |
SAT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Florian Lonsing, Uwe Egly, Martina Seidl |
Q-Resolution with Generalized Axioms. |
SAT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Berend, Yochai Twitto |
The Normalized Autocorrelation Length of Random Max r -Sat Converges in Probability to (1-1/2^r)/r. |
SAT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mathias Soeken, Alan Mishchenko, Ana Petkovska, Baruch Sterin, Paolo Ienne, Robert K. Brayton, Giovanni De Micheli |
Heuristic NPN Classification for Large Functions Using AIGs and LEXSAT. |
SAT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jia Hui Liang, Vijay Ganesh, Pascal Poupart, Krzysztof Czarnecki 0001 |
Learning Rate Based Branching Heuristic for SAT Solvers. |
SAT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Giles Reger, Martin Suda 0001, Andrei Voronkov |
Finding Finite Models in Multi-sorted First-Order Logic. |
SAT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Leander Tentrup |
Non-prenex QBF Solving Using Abstraction. |
SAT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Mengel |
Parameterized Compilation Lower Bounds for Restricted CNF-Formulas. |
SAT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mikolás Janota |
On Q-Resolution and CDCL QBF Solving. |
SAT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Paul Saikko, Jeremias Berg, Matti Järvisalo |
LMHS: A SAT-IP Hybrid MaxSAT Solver. |
SAT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Aleksandar Zeljic, Christoph M. Wintersteiger, Philipp Rümmer |
Deciding Bit-Vector Formulas with mcSAT. |
SAT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Neha Lodha, Sebastian Ordyniak, Stefan Szeider |
A SAT Approach to Branchwidth. |
SAT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jeevana Priya Inala, Rohit Singh 0002, Armando Solar-Lezama |
Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers. |
SAT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Zurab Khasidashvili, Konstantin Korovin |
Predicate Elimination for Preprocessing in First-Order Theorem Proving. |
SAT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | C. K. Cuong, M. J. H. Heule |
Computing Maximum Unavoidable Subgraphs Using SAT Solvers. |
SAT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jo Devriendt, Bart Bogaerts 0001, Maurice Bruynooghe, Marc Denecker |
Improved Static Symmetry Breaking for SAT. |
SAT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Scharpfenecker, Jacobo Torán |
Solution-Graphs of Boolean Formulas and Isomorphism. |
SAT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Markus N. Rabe, Sanjit A. Seshia |
Incremental Determinization. |
SAT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Antti E. J. Hyvärinen, Matteo Marescotti, Leonardo Alt, Natasha Sharygina |
OpenSMT2: An SMT Solver for Multi-core and Cloud Computing. |
SAT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Norbert Manthey, Marius Lindauer |
SpyBug: Automated Bug Detection in the Configuration Space of SAT Solvers. |
SAT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nadia Creignou, Daniel Le Berre (eds.) |
Theory and Applications of Satisfiability Testing - SAT 2016 - 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings |
SAT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Antti E. J. Hyvärinen, Matteo Marescotti, Natasha Sharygina |
Search-Space Partitioning for Parallelizing SMT Solvers. |
SAT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Kalechstain, Vadim Ryvchin, Nachum Dershowitz |
Hints Revealed. |
SAT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Wimmer 0001, Karina Gitina, Jennifer Nist, Christoph Scholl 0001, Bernd Becker 0001 |
Preprocessing for DQBF. |
SAT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Ansótegui, Jesús Giráldez-Cru, Jordi Levy, Laurent Simon |
Using Community Structure to Detect Relevant Learnt Clauses. |
SAT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Florian Lonsing, Uwe Egly |
Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API. |
SAT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Falkner, Marius Lindauer, Frank Hutter |
SpySMAC: Automated Configuration and Performance Analysis of SAT Solvers. |
SAT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ruiwen Chen, Rahul Santhanam |
Improved Algorithms for Sparse MAX-SAT and MAX-k-CSP. |
SAT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jan Burchard, Tobias Schubert 0001, Bernd Becker 0001 |
Laissez-Faire Caching for Parallel #SAT Solving. |
SAT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ravi Mangal, Xin Zhang 0035, Aditya V. Nori, Mayur Naik |
Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances. |
SAT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Miguel Neves 0001, Ruben Martins, Mikolás Janota, Inês Lynce, Vasco M. Manquinho |
Exploiting Resolution-Based Representations for MaxSAT Solving. |
SAT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Shaowei Cai 0001, Chuan Luo 0002, Kaile Su |
CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability. |
SAT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Armin Biere, Andreas Fröhlich |
Evaluating CDCL Variable Scoring Schemes. |
SAT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Mencía, Alessandro Previti, João Marques-Silva 0001 |
SAT-Based Horn Least Upper Bounds. |
SAT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alexey Ignatiev, Alessandro Previti, João Marques-Silva 0001 |
SAT-Based Formula Simplification. |
SAT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | M. Fareed Arif, Carlos Mencía, João Marques-Silva 0001 |
Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing. |
SAT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Christian Zielke, Michael Kaufmann 0001 |
A New Approach to Partial MUS Enumeration. |
SAT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Marijn Heule, Sean A. Weaver (eds.) |
Theory and Applications of Satisfiability Testing - SAT 2015 - 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings |
SAT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Simone Bova, Florent Capelli, Stefan Mengel, Friedrich Slivovsky |
On Compiling CNFs into Structured Deterministic DNNFs. |
SAT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Markus Iser, Norbert Manthey, Carsten Sinz |
Recognition of Nested Gates in CNF Formulas. |
SAT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter J. Stuckey |
#∃SAT: Projected Model Counting. |
SAT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Robert Ganian, Stefan Szeider |
Community Structure Inspired Algorithms for SAT and #SAT. |
SAT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Philipp, Peter Steinke |
PBLib - A Library for Encoding Pseudo-Boolean Constraints into CNF. |
SAT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Chanseok Oh |
Between SAT and UNSAT: The Fundamental Difference in CDCL SAT. |
SAT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Valeriy Balabanov, Alexander Ivrii |
Speeding up MUS Extraction with Preprocessing and Chunking. |
SAT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Oliver Kullmann, João Marques-Silva 0001 |
Computing Maximal Autarkies with Few and Simple Oracle Queries. |
SAT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kuan-Hua Tu, Tzu-Chien Hsu, Jie-Hong R. Jiang |
QELL: QBF Reasoning with Extended Clause Learning and Levelized SAT Solving. |
SAT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Ivrii, Vadim Ryvchin, Ofer Strichman |
Mining Backbone Literals in Incremental SAT - A New Kind of Incremental Data. |
SAT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Florian Corzilius, Gereon Kremer, Sebastian Junges, Stefan Schupp, Erika Ábrahám |
SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving. |
SAT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Zack Newsham, William Lindsay, Vijay Ganesh, Jia Hui Liang, Sebastian Fischmeister, Krzysztof Czarnecki 0001 |
SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers. |
SAT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Balyo, Peter Sanders 0001, Carsten Sinz |
HordeSat: A Massively Parallel Portfolio SAT Solver. |
SAT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Adam Douglass, Andrew D. King, Jack Raymond |
Constructing SAT Filters with a Quantum Annealer. |
SAT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Florent Capelli, Arnaud Durand 0001, Stefan Mengel |
Hypergraph Acyclicity and Propositional Model Counting. |
SAT |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yoav Fekete, Michael Codish |
Simplifying Pseudo-Boolean Constraints in Residual Number Systems. |
SAT |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Fahiem Bacchus, Nina Narodytska |
Cores in Core Based MaxSat Algorithms: An Analysis. |
SAT |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Armin Biere, Daniel Le Berre, Emmanuel Lonca, Norbert Manthey |
Detecting Cardinality Constraints in CNF. |
SAT |
2014 |
DBLP DOI BibTeX RDF |
|