The SAT Solver Framework priss (System Description)
From International Center for Computational Logic
"jun" is not in the list (Januar, Februar, März, April, Mai, Juni, Juli, August, September, Oktober, ...) of allowed values for the "Month" property.
The SAT Solver Framework priss (System Description)
Norbert MantheyNorbert Manthey, Robert StelzmannRobert Stelzmann
The SAT Solver Framework priss (System Description)
Pragmatics of SAT 2012(POS'12), 2012
- Forschungsgruppe:Research Group: Wissensverarbeitung
@inproceedings{MS2012,
author = {Norbert Manthey and Robert Stelzmann},
title = {The {SAT} Solver Framework priss (System Description)},
booktitle = {Pragmatics of {SAT} 2012(POS'12)},
year = {2012}
}
