Recent news about SAT for tag SAT

• Jan 18, 2024  SAT 2024 Call for Workshops by Alexey Ignatiev SAT  CFW  Deadline 

  27th International Conference on Theory and Applications of Satisfiability Testing

• Dec 9, 2023  SAT 2024 Call for Papers by Supratik Chakraborty CFP  SAT  Deadline 

  SAT'24 will take place August 21-24 in Pune, India. Submissions (long papers, short papers, tool papers) are expected by March 15th AoE (abstracts due March 8th AoE).

• Jan 20, 2023  SAT 2023 Call for Papers by Friedrich Slivovsky CFP  SAT  Deadline 

  Submissions for SAT 2023 are now open. Submit your latest research on satisfiability (long papers, short papers, tool papers) by March 17th (abstracts due March 10th).

• Jan 7, 2023  Core Challenge 2023 (an International Competition for Combinatorial Reconfiguration) by Takehide Soh CFP  Competition  SAT  Deadline 

  The 2nd Combinatorial Reconfiguration Challenge (CoRe Challenge 2023) is a competition aiming for practically exploring the combinatorial reconfiguration problem.

• Nov 29, 2021  Core Challenge 2022 (an International Competition for Combinatorial Reconfiguration) by Takehide Soh CFP  Competition  SAT  Deadline 

  The 1st Combinatorial Reconfiguration Challenge (CoRe Challenge 2022) is a competition aiming for practically exploring the combinatorial reconfiguration problem.

• Oct 10, 2021  SAT 2022 Call for Papers by Kuldeep S. Meel CFP  SAT  Deadline 

  The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the premier annual meeting for researchers focusing on the theory and applications of the propositional satisfiability problem, broadly construed. In 2022, it is organized within FLoC in Haifa, Israel.

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