Recent news about SAT for tag PBO


  • Mar 16, 2019  Pragmatics of SAT 2015 and 2018 proceedings available by Daniel Le Berre SAT  PBO  QBF 

    The proceedings of the 2015 and 2018 editions of Pragmatics of SAT workshops has just been published in Easychair Proceedings in Computing.

  • Mar 28, 2016  PB16 - Pseudo-Boolean Competition 2016 by Olivier ROUSSEL CFP  Deadline  PBO 

    The site for submitting pseudo-Boolean solvers or benchmarks to the 2016 competition will open soon. Like the previous evaluations and competitions (PB05, PB06, PB07, PB09, PB10, PB11, PB12, PB Evaluation 2015), the goal of PB16 is to assess the state of the art in the field of pseudo-Boolean solvers.

  • Mar 18, 2015  New version 1.2 of PBLib is out! by Peter Steinke PBO 

    Many different encodings for Pseudo-Boolean (PB) constraints into conjunctive normal form (CNF) have been proposed in the past. The PBLib project starts to collect and implement these encodings to be able to encode PB constraints in a very simple, but effective way.

  • Feb 3, 2015  PB 2015 competition by Norbert Manthey Competition  PBO 

    The pseudo Boolean evaluation 2015 analyzes the current state of the art of pseudo Boolean solving technology to be able to determine the progress that has been made since the last evaluation. Therefore, we invite solver developers to submit the latest version of their tools. Furthermore, we will include selected solvers of the previous pseudo Boolean competition 2012.

Our scientific association

The SAT association

Our annual conference

Our journal

Journal on Satisfiability, Boolean Modeling and Computation

Upcoming deadlines

September 7, 2019
CP'19 early reg.
September 25, 2019
Professorship AI @ JKU
November 30, 2019
Helmut Veith Stipend

SAT related books