Publicações

AuthID
P-00M-X66

Author(s)

Biere, Armin

Heule, Marijn

Walsh, Toby

Document Type

Proceedings

Year published

2009

Published

in Handbook of Satisfiability in Frontiers in Artificial Intelligence and Applications

Volume: 185

Indexing

Publication Identifiers

Dblp: series/faia/2009-185

Export Publication Metadata

Lista Marked

Info

At this moment we don't have any links to full text documens.

Useful Links