A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Satisfiability of the smallest binary program
1993
Information Processing Letters
The DFKI conducts application-oriented basic research in the field of artificial intelligence and other related subfields of computer science. The overall goal is to construct systems with technical knowledge and common sense which -by using AI methods -implement a problem solution for a selected application area. Currently, there are the following research areas at the DFKI: Intelligent Engineering Systems Intelligent User Interfaces Computer Linguistics Programming Systems Deduction and
doi:10.1016/0020-0190(93)90210-z
fatcat:kny57wvv4neqnihzadtwysb6ei