Links

The following links appear in the thesis:
http://bitbucket.org/niklaseenNiklas Een's ZZ framework.
http://fmv.jku.at/aigerArmin Biere's AIGER 1.9 toolset.
http://fmv.jku.at/hwmcc07Hardware Model Checking Competition 2007.
http://fmv.jku.at/hwmcc11Hardware Model Checking Competition 2011.
http://fmv.jku.at/hwmcc12Hardware Model Checking Competition 2012.
http://fmv.jku.at/lingelingArmin Biere's Lingeling SAT-solver.
http://www.circuitlab.comCircuitLab online schematic editor & circuit simulator.
http://www.mat.unical.it/aspcomp2013ASP Competition 2013.
http://www.satcompetition.orgAnnual SAT competitions/races/challenges.
http://www.smtlib.org
(Direct link to document)
Reference [BST10] - Clark Barrett, Aaron Stump, and Cesare Tinelli. The SMT-LIB standard version 2.0, 2010.
http://arxiv.org/abs/1308.2142
(Direct link to document)
Reference [Wie13] - Siert Wieringa. Some notes on model rotation, 2013.
http://www.minisat.se
(Direct link to poster)
Reference [ES05] - Niklas Eén and Niklas Sörensson. MiniSat v1.13 - A SAT Solver with Conflict Clause Minimization, 2005.
http://www.aaai.org/ocs/index.php/AAAI/AAAI13/paper/view/6421Reference [KSSS13] - George Katsirelos, Ashish Sabharwal, Horst Samulowitz, and Laurent Simon. Resolution and Parallelizability: Barriers to the Efficient Parallelization of SAT Solvers, 2013.

The following links are also relevant:
http://www.minisat.seMiniSAT solver's official page (e.g. MiniSAT release 2.2.0).
http://github.com/niklassoNiklas Sörensson's latest code (e.g. TIP and MiniSAT >2.2.0).
http://bitbucket.org/alanmiAlan Mishchenko's latest code (e.g. ABC).
http://bitbucket.org/siertMy latest code (e.g. Tarmo, MiniRed, and GlucoRed).
http://users.ics.aalto.fi/swieringMy home page at Aalto University.
http://users.ics.aalto.fi/swiering/icnfThe iCNF file format.
http://users.ics.aalto.fi/swiering/musfindingThe MiniUnsat MUS finder versions 1&2.
http://users.ics.aalto.fi/swiering/difts11Resources for Publication II (hyperactive variable visualizations).
http://fmv.jku.at/cncCube and Conquer Software (Publication III).
http://alleg.sourceforge.netAllegro5 game programming library (used for visualizations).