default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPOS@SAT 2014: Vienna, Austria
- Daniel Le Berre:
POS-14. Fifth Pragmatics of SAT workshop, a workshop of the SAT 2014 conference, part of FLoC 2014 during the Vienna Summer of Logic, July 13, 2014, Vienna, Austria. EPiC Series in Computing 27, EasyChair 2014 - Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Cédric Piette:
Dolius: A Distributed Parallel SAT Solving Framework. 1-11 - Marijn Heule, Norbert Manthey, Tobias Philipp:
Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers. 12-25 - Laurent Simon:
Post Mortem Analysis of SAT Solver Proofs. 26-40 - Zoltán Ádám Mann, Pál András Papp:
Formula partitioning revisited. 41-56 - Enrique Matos Alfonso, Norbert Manthey:
New CNF Features and Formula Classification. 57-71 - Zoltán Ádám Mann:
Typical-case complexity and the SAT competitions. 72-87 - Armin Biere:
Lingeling Essentials, A Tutorial on Design and Implementation Aspects of the the SAT Solver Lingeling. 88 - Steffen Hölldobler, Norbert Manthey, Tobias Philipp, Peter Steinke:
Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers. 89-102 - Andreas Fröhlich, Gergely Kovásznai, Armin Biere, Helmut Veith:
iDQ: Instantiation-Based DQBF Solving. 103-116
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.
last updated on 2024-11-07 20:39 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
