Search results for "POS@SAT"

Hits ?▲	Authors	Title	Venue	Year	Link
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.	POS@SAT	2023	DBLP BibTeX RDF
1	Armin Biere, Mathias Fleury, Nils Froleyks, Marijn J. H. Heule	The SAT Museum.	POS@SAT	2023	DBLP BibTeX RDF
1	Vincent Vallade, Julien Sopena, Souheib Baarir	Enhancing State-of-the-Art Parallel SAT Solvers Through Optimized Sharing Policies.	POS@SAT	2023	DBLP BibTeX RDF
1	Tobias Paxian, Armin Biere	Uncovering and Classifying Bugs in MaxSAT Solvers through Fuzzing and Delta Debugging.	POS@SAT	2023	DBLP BibTeX RDF
1	Sebastiaan Brand, Tim Coopmans, Alfons Laarman	Quantum Graph-State Synthesis with SAT.	POS@SAT	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.	POS@SAT	2023	DBLP BibTeX RDF
1	Benjamin Kaiser, Robert Clausecker, Michael Mavroskoufis	Prioritised Unit Propagation by Partitioning the Watch Lists.	POS@SAT	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.	POS@SAT	2019	DBLP BibTeX RDF
1	Adrián Rebola-Pardo, Armin Biere	Two flavors of DRAT.	POS@SAT	2018	DBLP DOI BibTeX RDF
1	Norbert Manthey, Tobias Philipp	Checking Unsatisfiability Proofs in Parallel.	POS@SAT	2018	DBLP DOI BibTeX RDF
1	Thorsten Ehlers, Dirk Nowotka	Tuning Parallel SAT Solvers.	POS@SAT	2018	DBLP DOI BibTeX RDF
1	Zack Newsham, Vijay Ganesh, Sebastian Fischmeister	Predicting SAT Solver Performance on Heterogeneous Hardware.	POS@SAT	2018	DBLP DOI BibTeX RDF
1	Michal Karpinski, Marek Piotrów	Competitive Sorter-based Encoding of PB-Constraints into SAT.	POS@SAT	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.	POS@SAT	2018	DBLP DOI BibTeX RDF
1	Jeremias Berg, Antti Hyttinen, Matti Järvisalo	Applications of MaxSAT in Data Analysis.	POS@SAT	2018	DBLP DOI BibTeX RDF
1	Markus Iser, Carsten Sinz	A Problem Meta-Data Library for Research in SAT.	POS@SAT	2018	DBLP DOI BibTeX RDF
1	Armin Biere, Andreas Fröhlich	Evaluating CDCL Restart Schemes.	POS@SAT	2018	DBLP DOI BibTeX RDF
1	Armin Biere, Marijn Heule	The Effect of Scrambling CNFs.	POS@SAT	2018	DBLP DOI BibTeX RDF
1	Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Cédric Piette	Dolius: A Distributed Parallel SAT Solving Framework.	POS@SAT	2014	DBLP DOI BibTeX RDF
1	Laurent Simon	Post Mortem Analysis of SAT Solver Proofs.	POS@SAT	2014	DBLP DOI BibTeX RDF
1	Steffen Hölldobler, Norbert Manthey, Tobias Philipp, Peter Steinke	Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers.	POS@SAT	2014	DBLP DOI BibTeX RDF
1	Zoltán Ádám Mann	Typical-case complexity and the SAT competitions.	POS@SAT	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	POS@SAT	2014	DBLP BibTeX RDF
1	Armin Biere	Lingeling Essentials, A Tutorial on Design and Implementation Aspects of the the SAT Solver Lingeling.	POS@SAT	2014	DBLP DOI BibTeX RDF
1	Andreas Fröhlich, Gergely Kovásznai, Armin Biere, Helmut Veith	iDQ: Instantiation-Based DQBF Solving.	POS@SAT	2014	DBLP DOI BibTeX RDF
1	Marijn Heule, Norbert Manthey, Tobias Philipp	Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers.	POS@SAT	2014	DBLP DOI BibTeX RDF
1	Enrique Matos Alfonso, Norbert Manthey	New CNF Features and Formula Classification.	POS@SAT	2014	DBLP DOI BibTeX RDF
1	Zoltán Ádám Mann, Pál András Papp	Formula partitioning revisited.	POS@SAT	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	POS@SAT	2014	DBLP BibTeX RDF
1	Valentin Mayer-Eichberger, Toby Walsh	SAT Encodings for the Car Sequencing Problem.	POS@SAT	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.	POS@SAT	2013	DBLP DOI BibTeX RDF
1	Norbert Manthey, Davide Lanti, Ahmed Irfan	Modern Cooperative Parallel SAT Solving.	POS@SAT	2013	DBLP DOI BibTeX RDF
1	Adrian Balint, Norbert Manthey	Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning.	POS@SAT	2013	DBLP DOI BibTeX RDF
1	Daniel Le Berre (eds.)	POS-10. Pragmatics of SAT, Edinburgh, UK, July 10, 2010	POS@SAT	2012	DBLP BibTeX RDF
1	Adrian Kügel	Improved Exact Solver for the Weighted MAX-SAT Problem.	POS@SAT	2010	DBLP DOI BibTeX RDF
1	Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy	On Solving MaxSAT Through SAT.	POS@SAT	2010	DBLP DOI BibTeX RDF
1	Youssef Hamadi	From Parallel SAT to Distributed SAT.	POS@SAT	2010	DBLP DOI BibTeX RDF
1	Norbert Manthey, Ari Saptawijaya	Towards Improving the Resource Usage of SAT-solvers.	POS@SAT	2010	DBLP DOI BibTeX RDF
1	Mate Soos	Enhanced Gaussian Elimination in DPLL-based SAT Solvers.	POS@SAT	2010	DBLP DOI BibTeX RDF

Publications at "POS@SAT"( http://dblp.L3S.de/Venues/POS@SAT )