MAXSAT 2015 Evaluation
Submission for the MAXSAT competition is now open. The deadline for submitting solvers and benchmarks is June 30.
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
