![](/img/cover-not-exists.png)
tts: A SAT-Solver for Small, Difficult Instances
Spence, Ivor, Speckenmeyer, Ewald, Li, Chu Min, Manquinho, Vasco, Tacchella, ArmandoVolume:
4
Journal:
Journal on Satisfiability, Boolean Modeling and Computation
DOI:
10.3233/sat190043
Date:
June, 2008
File:
PDF, 386 KB
2008