Publications

Sat in Bioinformatics: Making the Case with Haplotype Inference

AuthID
P-004-QV5

Author(s)

Lynce, I

Marques Silva, J

Editor(s)

Biere,A;Gomes,CP

Document Type

Proceedings Paper

Year published

2006

Published

in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2006, PROCEEDINGS in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 4121, Pages: 136-141 (6)

Conference

9Th International Conference on Theory and Applications of Satisfiability Testing, Date: AUG 12-15, 2006, Location: Seattle, WA, Sponsors: Cadence, IBM, Microsoft Res, NEC, John VonNeumann Minerva Ctr Dev React Syst, Cornell Univ, Intelligent Informat Syst Inst

Indexing