The SAT Solver Framework priss
From International Center for Computational Logic
The SAT Solver Framework priss
Norbert MantheyNorbert Manthey
Norbert Manthey
The SAT Solver Framework priss
Pragmatics of SAT 2012, Trento, Italy, June 2012
The SAT Solver Framework priss
Pragmatics of SAT 2012, Trento, Italy, June 2012
- Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@misc{M2012,
author = {Norbert Manthey},
title = {The {SAT} Solver Framework priss},
year = {2012},
month = {June}
}
