Guided Search and a Faster Deterministic Algorithm for 3-SAT

Metadata only

Author

Date

2008

Type

Conference Paper

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

Editor

Book title

LATIN 2008 : theoretical informatics : 8th Latin American Symposium, proceedings

Journal / series

Lecture Notes in Computer Science

Volume

4957

Pages / Article No.

60 - 71

Publisher

Springer

Event

8th Latin American Symposium (LATIN 2008), Búzios, Brazil, April 7-11, 2008

Organisational unit

03457 - Welzl, Emo (emeritus) / Welzl, Emo (emeritus)

More

ETH Bibliography

yes

Altmetrics

Research Collection