 |
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  [3]
|
Hilfe 
|
 |
|
| Suche: Citkey="Chen-Liu/09a" |
|
An improved SAT algorithm in terms of formula length
Jianer Chen, Yang Liu
Proceedings of the 11th International Symmposium on Algorithms and Data Structures, WADS'2009 (Banff, Canada, August 21-23, 2009)
Lecture Notes in Computer Science
5664
, 2009, pp. 144-155
| Editors | Frank Dehne, Marina Gavrilova, Jörg-Rüdiger Sack, Csaba D. Tóth | |
| Publisher: | Springer-Verlag | |
| Address: | Berlin-Heidelberg | |
| URL: |
http://springerlink.metapress.com/content/l406u68u2p5mwm82/fulltext.pdf | |
|
|
|
|