Recent news about SAT for tag SAT

 

  • Jun 13, 2021  SAT 2021 Registration open by Felip Mania SAT 

    The annual international SAT conference registration is now open. The conference (July 7-9) will follow a hybrid format, with in-person and virtual participation options, while the affiliated workshops will be held virtually (July 5-6).
  • Apr 27, 2021  A Satisfying Result (CACM article by Don Monroe) by Daniel Le Berre SAT 

    A CACM article presents the resolution of the Keller Conjecture for dimension 7 using SAT technology.
  • Jan 26, 2021  Handbook of Satisfiability (2nd Edition) by Armin Biere SAT  SMT  QBF  PBO 

    The second edition of the Handbook of Satisfiability is now available
  • Jan 12, 2021  SAT 2021 Call for Papers by Jesús Giráldez-Cru CFP  SAT  Deadline 

    The annual international SAT conference will be held in Barcelona, Spain, from July 5-9, 2021.
  • Nov 22, 2020  SAT+SMT indian school 2020 is fully online by Daniel Le Berre SAT  SMT  Deadline 

    The SAT+SMT school is organized each year in an indian city in December since 2016. This year, due to COVID, the school will be fully online. As such, everybody is welcome to attend the school.

  • Aug 25, 2020  Keller's conjecture for dimension 7 solved using SAT by Daniel Le Berre SAT 

    The Keller’s conjecture is a 90 years old conjecture by Ott-Heinrich Keller that in any tiling of Euclidean space by identical hypercubes there are two cubes that meet face to face. The conjecture was know to be true up to dimension 6, and false in dimensions higher than 7. The conjecture was open for dimension 7.

  • Feb 17, 2020  SAT 2020 Call for Papers by Martina Seidl CFP  SAT  Deadline 

    The annual international SAT conference will be held in Alghero, Italy, from July 5-9, 2020. The deadlines have been extended by one week.
  • Dec 27, 2019  SAT 2020 Call for Papers by Martina Seidl CFP  SAT 

    The annual international SAT conference will be held in Alghero, Italy, from July 5-9, 2020.
  • Dec 17, 2019  SAT 2020 Call for Workshops by Florian Lonsing CFW  SAT  Deadline 

    The SAT'20 conference invites proposals for workshops associated with the main conference program of SAT 2020, which will be held in Alghero, Italy, from July 5-9, 2020
  • Oct 29, 2019  SAT-Your-Day : A Puzzle Game based on SAT by Combi-Games SAT  Advertising 

    A Game called SAT-Your-Day, based on the SAT problem, which is available for Android and IOS in French and English.
  • Jun 19, 2019  SAT 2019 Final Call for Participation by Alexey Ignatiev SAT  Final  CFP  Registration 

    22nd International Conference on Theory and Applications of Satisfiability Testing
  • May 16, 2019  SAT/SMT/AR summer school by Antonio Morgado SAT  Deadline 

    The SAT/SMT/AR summer school will precede SAT 2019 and SMT 2019 taking place on July 3-6, 2019 at the Instituto Superior Técnico (IST/UL), University of Lisbon, Portugal. The summer school registration is free of charge to make it accessible for participants to attend. The registration deadline is May, 31st. The program, registration, and all the information can be found in the website of the summer school.

  • May 16, 2019  Pragmatics of SAT invited talk annonced by Daniel Le Berre SAT 

    The invited talk for the decade edition of Pragmatics of SAT is Joao Marques Silva. His talk is titled SAT: Disruption, Demise and Resurgence.

  • May 5, 2019  SAT 2019 Call for Participation by Alexey Ignatiev SAT  CFP  Registration 

    22nd International Conference on Theory and Applications of Satisfiability Testing
  • Mar 25, 2019  SAT/SMT/AR Summer School 2019 by Alexey Ignatiev SAT  SMT  AR  Registration 

    The SAT/SMT/AR Summer School aims to bring a select group of students up to speed quickly in this exciting research area. The school continues the successful line of Summer Schools that ran from 2011 to 2015 as SAT/SMT Summer Schools and added AR in 2016.
  • 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 journal

Journal on Satisfiability, Boolean Modeling and Computation

Upcoming deadlines

September 13, 2021
PhD @ Lund
September 27, 2021
SAT'22 workshop proposals
November 30, 2021
VCLA'21 Helmut Veith Stipend
November 30, 2021
20 PhD positions @TU Wien

SAT related books