MPI-I-2005-2-003
Using resolution as a decision procedure
Nivelle, Hans de
June 2005, 53 pages.
.
Status: available - back from printing
-
- Attachement: MPI-I-2005-2-003.pdf (948 KBytes)
URL to this document: https://domino.mpi-inf.mpg.de/internet/reports.nsf/NumberView/2005-2-003
BibTeX
@TECHREPORT{Nivelle2005,
AUTHOR = {Nivelle, Hans de},
TITLE = {Using resolution as a decision procedure},
TYPE = {Research Report},
INSTITUTION = {Max-Planck-Institut f{\"u}r Informatik},
ADDRESS = {Stuhlsatzenhausweg 85, 66123 Saarbr{\"u}cken, Germany},
NUMBER = {MPI-I-2005-2-003},
MONTH = {June},
YEAR = {2005},
ISSN = {0946-011X},
}