home
news
board
funding
committees
bylaws
conference
sat/smt school
JSAT
tutorials
pictures
miscellany
satisfiability
competition
reference
satlive!
smtlib
qbflib
imprint
• 2022 • 2021 • 2020 • 2019 • 2018 • 2017 • 2016 • 2015 • 2014 • 2013 • 2012 • 2011 • 2010 • 2009 • 2008 • 2007 • 2006 • 2005 • 2004 • 2003 • 2002
A summary of the results of all years is at www.satcompetition.org