![](/img/cover-not-exists.png)
PicoSAT Essentials
Biere, Armin, Speckenmeyer, Ewald, Li, Chu Min, Manquinho, Vasco, Tacchella, ArmandoVolume:
4
Journal:
Journal on Satisfiability, Boolean Modeling and Computation
DOI:
10.3233/sat190039
Date:
May, 2008
File:
PDF, 689 KB
2008