Recent news about SAT for tag SAT

 

  • Mar 17, 2019  Call for Participation: 2019 SAT Race by Marijn Heule CFP  SAT  Deadline 

    The 2019 SAT Race is a competitive event for solvers of the Boolean Satisfiability (SAT) problem. It is organized as a satellite event to the 22th International Conference on Theory and Applications of Satisfiability Testing and stands in the tradition of the yearly SAT Competitions / Races / Challenges. The deadline for submitting benchmarks and solvers is Monday April 15, 2019 (23:59 GMT -12, anywhere on earth). Visit the SAT Race website at http://sat-race-2019.ciirc.cvut.cz/ for details.

  • 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.

  • Feb 26, 2019  SAT 2019 Final Call for Papers by Alexey Ignatiev CFP  SAT  Deadline 

    22nd International Conference on Theory and Applications of Satisfiability Testing
  • Feb 21, 2019  SAT conference hosting call for proposals by Fahiem Bacchus CFP  SAT  Deadline 

    As we have done in the past we are seeking proposals for hosting and organizing SAT 2020.

  • Feb 4, 2019  SAT 2019 Call for Papers by Alexey Ignatiev CFP  SAT  Deadline 

    22nd International Conference on Theory and Applications of Satisfiability Testing
  • Jan 17, 2019  SAT 2019 Call for Workshops by Alexey Ignatiev CFW  SAT  Deadline 

    The SAT'19 conference invite proposals for workshops associated with the main conference program of SAT 2019, which will be held in Lisbon (Portugal) from July 7-12, 2019
  • May 5, 2016  SAT/SMT/AR summer school, Lisbon, Portugal by Ines Lynce CFP  SAT  SMT  Deadline 

    EXTENDED APPLICATION DEADLINE: May 15th, 2016
  • Dec 23, 2015  SAT/SMT/AR summer school, Lisbon, Portugal by Philipp Rümmer SAT  SMT 

    This year, the SAT/SMT summer school joins forces with the automated reasoning community to propose a SAT/SMT/AR summer school right before IJCAR.

Our scientific association

The SAT association

Our annual conference

Our journal

Journal on Satisfiability, Boolean Modeling and Computation

Upcoming deadlines

March 25, 2019
VCLA Int. Student Award
March 31, 2019
JELIA'19 early registration
April 15, 2019
SAT Race 2019
May 10, 2019
CP'19
June 9, 2019
SAT hosting CFP
November 30, 2019
Helmut Veith Stipend

SAT related books