International Workshop on Quantified Boolean Formulas
The website of the QBF16 workshop is online.
SAT Live!
keep up to date with research on the satisfiability problem
Our scientific association
Our annual conference
Our journal
Upcoming deadlines
- May 18, 2024
- PoS'24 paper submission
- May 20, 2024
- PB24 competition
- May 28, 2024
- MCW 2024 Call for Papers
SAT related books
