Publications

Breaking Symmetries in Sat Matrix Models

AuthID
P-004-EQ8

Author(s)

Lynce, I

Marques Silva, J

Editor(s)

Silva,JM;Sakallah,KA

Document Type

Proceedings Paper

Year published

2007

Published

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

Volume: 4501, Pages: 22-+ (2)

Conference

10Th International Conference on Theory and Applications of Satisfiability Testing, Date: MAY 28-31, 2007, Location: Lisbon, PORTUGAL, Sponsors: Cadence Design Syst, Intel Corp, Cornell Univ, Intelligent Informat Syst Inst, Luso Amer Fdn, Magma Design Automat, Microsoft Res, NEC Res Labs, Synopsys Inc, INESC ID, Inst Superior Tecnico, Univ Michigan, Univ Southampton

Indexing