 |
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  [1]
|
Hilfe 
|
 |
|
| Suche: Citkey="Dantsin-Hirsch-Wolpert/06" |
|
Clause shortening combined with pruning yields a new upper bound for deterministic SAT algorithms
Evgeny Dantsin, Edward A. Hirsch, Alexander Wolpert
Proceedings of the 6th Italian Conference on Algorithms and Complexity, CIAC'2006 (Rome, Italy, May 29-31, 2006)
Lecture Notes in Computer Science
3998
, 2006, pp. 60-68
| Editors | Tiziana Calamoneri, Irene Finocchi, Giuseppe F. Italiano | |
| Publisher: | Springer-Verlag | |
| Address: | Berlin-Heidelberg | |
| URL: |
http://dx.doi.org/10.1007/11758471_9 | |
|
|
|
|