POS@SAT

Keyphrases

Publications

2023

volume 3545, 2023

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 3545 (2023)

volume 59, 2019

Proceedings of Pragmatics of SAT 2015, Austin, Texas, USA, September 23, 2015 / Pragmatics of SAT 2018, Oxford, UK, July 7, 2018. POS@SAT 59 (2019)

2018

Adrián Rebola-Pardo, Armin Biere
Two flavors of DRAT. POS@SAT (2018)
Norbert Manthey, Tobias Philipp
Checking Unsatisfiability Proofs in Parallel. POS@SAT (2018)
Thorsten Ehlers, Dirk Nowotka
Tuning Parallel SAT Solvers. POS@SAT (2018)
Zack Newsham, Vijay Ganesh, Sebastian Fischmeister
Predicting SAT Solver Performance on Heterogeneous Hardware. POS@SAT (2018)
Michal Karpinski, Marek Piotrów
Competitive Sorter-based Encoding of PB-Constraints into SAT. POS@SAT (2018)
Anastasia-Maria Leventi-Peetz, Oliver Zendel, Werner Lennartz, Kai Weber
CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances. POS@SAT (2018)
Jeremias Berg, Antti Hyttinen, Matti Järvisalo
Applications of MaxSAT in Data Analysis. POS@SAT (2018)
Markus Iser, Carsten Sinz
A Problem Meta-Data Library for Research in SAT. POS@SAT (2018)
Armin Biere, Andreas Fröhlich
Evaluating CDCL Restart Schemes. POS@SAT (2018)
Armin Biere, Marijn Heule
The Effect of Scrambling CNFs. POS@SAT (2018)

2014

volume 29, 2014

POS-13. Fourth Pragmatics of SAT workshop, a workshop of the SAT 2013 conference, July 7, 2013, Helsinki, Finland POS@SAT 29 (2014)

volume 27, 2014

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 27 (2014)

2013

volume 8, 2012

POS-10. Pragmatics of SAT, Edinburgh, UK, July 10, 2010 POS@SAT 8 (2012)

2010