Publications

AuthID
P-009-199

Author(s)

Malik, S

Editor(s)

Armin Biere; Marijn Heule; Hans van Maaren; Toby Walsh

Document Type

Book Chapter

Year published

2009

Published

in Handbook of Satisfiability in Frontiers in Artificial Intelligence and Applications, ISSN: 0922-6389

Volume: 185, Issue: 1, Pages: 131-153

Indexing

Scopus^®

Google Scholar^®

Publication Identifiers

DOI: 10.3233/978-1-58603-929-5-131

Dblp: series/faia/SilvaLM09

Scopus: 2-s2.0-72949091469

Source Identifiers

ISSN: 0922-6389

Export Publication Metadata

Marked List

Info

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

Useful Links