Recent news about SAT for tag CFW

 

  • 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

Our scientific association

The SAT association

Our annual conference

Our journal

Journal on Satisfiability, Boolean Modeling and Computation

Upcoming deadlines

February 4, 2019
SAT'19 workshop proposal
February 4, 2019
PostDocs @ KTH
February 7, 2019
Positions@AaltoU
March 1, 2019
ICCMA'19
March 1, 2019
SAT'19 (abstract)
March 8, 2019
SAT'19 Call for Papers
March 15, 2019
VCLA Int. Student Award
May 10, 2019
CP'19
November 30, 2019
Helmut Veith Stipend

SAT related books