 |
Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
 |
Die bibliographische Datenbank LEABib
Suchen •
Liste der Journale •
Liste der Serien •
Liste der Konferenzen •
Ausgewählte Publikationen 
|
Hilfe 
|
 |
|
| Suche: Citkey="Arvind-Biswas/87b" |
|
An O(n^2) algorithm for the satisfiability problem of a subset of propositional sentences in CNF that includes all Horn sentences
V. Arvind, S. Biswas
Information Processing Letters 24 (1), 1987, January, pp. 67-69
| Publisher: | North-Holland Publishing Company | |
| Address: | Amsterdam-New York-Oxford-Tokyo | |
| Institution: | Dept. of Comput. Sci. & Eng., Indian Inst. of Technol., Kanpur, India | |
|
|
|
|