Publikation
Philipp Hanschke; Jörg Würtz
DFKI, DFKI Research Reports (RR), Vol. 93-09, 1993.
@techreport{pub6080, author = { Hanschke, Philipp and Würtz, Jörg }, title = {Satisfiability of the Smallest Binary Program}, series = {DFKI Research Reports (RR)}, year = {1993}, volume = {93-09}, pages = {8}, institution = {DFKI} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023