MinitSAT
From International Center for Computational Logic
MinitSAT
Norbert MantheyNorbert Manthey

MinitSAT
In Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti Järvisalo, eds., Proceedings of SAT Competition 2014, volume B-2014-2 of Department of Computer Science Series of Publications B, 48, 2014. University of Helsinki, Helsinki, Finland
- Forschungsgruppe:Research Group: Wissensverarbeitung
@inproceedings{M2014,
author = {Norbert Manthey},
title = {MinitSAT},
editor = {Anton Belov and Daniel Diepold and Marijn {J.H.} Heule and Matti
J{\"{a}}rvisalo},
booktitle = {Proceedings of {SAT} Competition 2014},
series = {Department of Computer Science Series of Publications B},
volume = {B-2014-2},
publisher = {University of Helsinki, Helsinki, Finland},
year = {2014},
pages = {48}
}