|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 39 publication records. Showing 39 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Matti Järvisalo, Daniel Le Berre (eds.) |
Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), Alghero, Italy, July 4, 2023. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Armin Biere, Mathias Fleury, Nils Froleyks, Marijn J. H. Heule |
The SAT Museum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), Alghero, Italy, July 4, 2023., pp. 72-87, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Vincent Vallade, Julien Sopena, Souheib Baarir |
Enhancing State-of-the-Art Parallel SAT Solvers Through Optimized Sharing Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), Alghero, Italy, July 4, 2023., pp. 35-45, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Tobias Paxian, Armin Biere |
Uncovering and Classifying Bugs in MaxSAT Solvers through Fuzzing and Delta Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), Alghero, Italy, July 4, 2023., pp. 59-71, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Sebastiaan Brand, Tim Coopmans, Alfons Laarman |
Quantum Graph-State Synthesis with SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), Alghero, Italy, July 4, 2023., pp. 1-13, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Yoichiro Iida, Tomohiro Sonobe, Mary Inaba |
An Empirical Study of the Effect of Learnt Clause on the Structural Measures of SAT problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), Alghero, Italy, July 4, 2023., pp. 46-58, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Benjamin Kaiser, Robert Clausecker, Michael Mavroskoufis |
Prioritised Unit Propagation by Partitioning the Watch Lists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), Alghero, Italy, July 4, 2023., pp. 14-34, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Daniel Le Berre, Matti Järvisalo (eds.) |
Proceedings of Pragmatics of SAT 2015, Austin, Texas, USA, September 23, 2015 / Pragmatics of SAT 2018, Oxford, UK, July 7, 2018. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![EasyChair The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Adrián Rebola-Pardo, Armin Biere |
Two flavors of DRAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: Proceedings of Pragmatics of SAT 2015, Austin, Texas, USA, September 23, 2015 / Pragmatics of SAT 2018, Oxford, UK, July 7, 2018., pp. 94-110, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Norbert Manthey, Tobias Philipp |
Checking Unsatisfiability Proofs in Parallel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: Proceedings of Pragmatics of SAT 2015, Austin, Texas, USA, September 23, 2015 / Pragmatics of SAT 2018, Oxford, UK, July 7, 2018., pp. 34-49, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Thorsten Ehlers, Dirk Nowotka |
Tuning Parallel SAT Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: Proceedings of Pragmatics of SAT 2015, Austin, Texas, USA, September 23, 2015 / Pragmatics of SAT 2018, Oxford, UK, July 7, 2018., pp. 127-143, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Zack Newsham, Vijay Ganesh, Sebastian Fischmeister |
Predicting SAT Solver Performance on Heterogeneous Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: Proceedings of Pragmatics of SAT 2015, Austin, Texas, USA, September 23, 2015 / Pragmatics of SAT 2018, Oxford, UK, July 7, 2018., pp. 18-33, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Michal Karpinski, Marek Piotrów |
Competitive Sorter-based Encoding of PB-Constraints into SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: Proceedings of Pragmatics of SAT 2015, Austin, Texas, USA, September 23, 2015 / Pragmatics of SAT 2018, Oxford, UK, July 7, 2018., pp. 65-78, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Anastasia-Maria Leventi-Peetz, Oliver Zendel 0002, Werner Lennartz, Kai Weber 0003 |
CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: Proceedings of Pragmatics of SAT 2015, Austin, Texas, USA, September 23, 2015 / Pragmatics of SAT 2018, Oxford, UK, July 7, 2018., pp. 79-93, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jeremias Berg, Antti Hyttinen, Matti Järvisalo |
Applications of MaxSAT in Data Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: Proceedings of Pragmatics of SAT 2015, Austin, Texas, USA, September 23, 2015 / Pragmatics of SAT 2018, Oxford, UK, July 7, 2018., pp. 50-64, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Markus Iser, Carsten Sinz |
A Problem Meta-Data Library for Research in SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: Proceedings of Pragmatics of SAT 2015, Austin, Texas, USA, September 23, 2015 / Pragmatics of SAT 2018, Oxford, UK, July 7, 2018., pp. 144-152, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Armin Biere, Andreas Fröhlich |
Evaluating CDCL Restart Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: Proceedings of Pragmatics of SAT 2015, Austin, Texas, USA, September 23, 2015 / Pragmatics of SAT 2018, Oxford, UK, July 7, 2018., pp. 1-17, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Armin Biere, Marijn Heule |
The Effect of Scrambling CNFs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: Proceedings of Pragmatics of SAT 2015, Austin, Texas, USA, September 23, 2015 / Pragmatics of SAT 2018, Oxford, UK, July 7, 2018., pp. 111-126, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Cédric Piette |
Dolius: A Distributed Parallel SAT Solving Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: 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, pp. 1-11, 2014, EasyChair. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Simon |
Post Mortem Analysis of SAT Solver Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: 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, pp. 26-40, 2014, EasyChair. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Steffen Hölldobler, Norbert Manthey, Tobias Philipp, Peter Steinke |
Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: 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, pp. 89-102, 2014, EasyChair. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Zoltán Ádám Mann |
Typical-case complexity and the SAT competitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: 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, pp. 72-87, 2014, EasyChair. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Le Berre (eds.) |
POS-13. Fourth Pragmatics of SAT workshop, a workshop of the SAT 2013 conference, July 7, 2013, Helsinki, Finland ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![EasyChair The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Armin Biere |
Lingeling Essentials, A Tutorial on Design and Implementation Aspects of the the SAT Solver Lingeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: 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, pp. 88, 2014, EasyChair. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Fröhlich, Gergely Kovásznai, Armin Biere, Helmut Veith |
iDQ: Instantiation-Based DQBF Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: 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, pp. 103-116, 2014, EasyChair. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marijn Heule, Norbert Manthey, Tobias Philipp |
Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: 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, pp. 12-25, 2014, EasyChair. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Enrique Matos Alfonso, Norbert Manthey |
New CNF Features and Formula Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: 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, pp. 57-71, 2014, EasyChair. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Zoltán Ádám Mann, Pál András Papp |
Formula partitioning revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: 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, pp. 41-56, 2014, EasyChair. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Le Berre (eds.) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![EasyChair The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Valentin Mayer-Eichberger, Toby Walsh |
SAT Encodings for the Car Sequencing Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: POS-13. Fourth Pragmatics of SAT workshop, a workshop of the SAT 2013 conference, July 7, 2013, Helsinki, Finland, pp. 15-27, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Martin Aigner 0003, Armin Biere, Christoph M. Kirsch, Aina Niemetz, Mathias Preiner |
Analysis of Portfolio-Style Parallel SAT Solving on Current Multi-Core Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: POS-13. Fourth Pragmatics of SAT workshop, a workshop of the SAT 2013 conference, July 7, 2013, Helsinki, Finland, pp. 28-40, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Norbert Manthey, Davide Lanti, Ahmed Irfan |
Modern Cooperative Parallel SAT Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: POS-13. Fourth Pragmatics of SAT workshop, a workshop of the SAT 2013 conference, July 7, 2013, Helsinki, Finland, pp. 41-54, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Balint, Norbert Manthey |
Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: POS-13. Fourth Pragmatics of SAT workshop, a workshop of the SAT 2013 conference, July 7, 2013, Helsinki, Finland, pp. 1-14, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Le Berre (eds.) |
POS-10. Pragmatics of SAT, Edinburgh, UK, July 10, 2010 ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![EasyChair The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Adrian Kügel |
Improved Exact Solver for the Weighted MAX-SAT Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: POS-10. Pragmatics of SAT, Edinburgh, UK, July 10, 2010, pp. 15-27, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy |
On Solving MaxSAT Through SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: POS-10. Pragmatics of SAT, Edinburgh, UK, July 10, 2010, pp. 41-48, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Youssef Hamadi |
From Parallel SAT to Distributed SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: POS-10. Pragmatics of SAT, Edinburgh, UK, July 10, 2010, pp. 1, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Norbert Manthey, Ari Saptawijaya |
Towards Improving the Resource Usage of SAT-solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: POS-10. Pragmatics of SAT, Edinburgh, UK, July 10, 2010, pp. 28-40, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mate Soos |
Enhanced Gaussian Elimination in DPLL-based SAT Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: POS-10. Pragmatics of SAT, Edinburgh, UK, July 10, 2010, pp. 2-14, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #39 of 39 (100 per page; Change: )
|
|