Satisfiability Testing and its Applications
Aus International Center for Computational Logic
Satisfiability Testing and its Applications
Steffen HölldoblerSteffen Hölldobler
![Satisfiability Testing and its Applications Satisfiability Testing and its Applications](/w/images/thumb/e/e2/Missing_document_icon.png/150px-Missing_document_icon.png)
Steffen Hölldobler
Satisfiability Testing and its Applications
North Caucasus Federal University, Stavropol, October 2012
Satisfiability Testing and its Applications
North Caucasus Federal University, Stavropol, October 2012
- Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@misc{H2012,
author = {Steffen H{\"{o}}lldobler},
title = {Satisfiability Testing and its Applications},
year = {2012},
month = {October}
}