Publicações

Breaking Symmetries in Sat Matrix Models

AuthID
P-004-EQ8

Author(s)

Lynce, I

Marques Silva, J

Editor(es)

Silva,JM;Sakallah,KA

Tipo de Documento

Proceedings Paper

Year published

2007

Publicado

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

Volume: 4501, Páginas: 22-+ (2)

Conference

10Th International Conference on Theory and Applications of Satisfiability Testing, Date: MAY 28-31, 2007, Location: Lisbon, PORTUGAL, Patrocinadores: 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