Empirical Study of the Anatomy of Modern Sat Solvers

AuthID
 P-00F-X10
3
Author(s)
Katebi, H
·
Sakallah, KA
·
2
Editor(es)
Sakallah,KA;Simon,L
Tipo de Documento
Proceedings Paper
Year published
2011
Publicado
in Theory and Applications of Satisfiability Testing - SAT 2011 - 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 6695, Páginas: 343-356
Conference
14Th International Conference on Theory and Applications of Satisfiability Testing, Sat 2011, Date: 19 June 2011 through 22 June 2011, Location: Ann Arbor, MI, Patrocinadores: Microsoft Research;Microsoft Research INRIA Joint Centre;University of Michigan;University of Orsay Paris-Sud 11
Indexing
Scopus®
Dblp®/pt/publications/view/521248
Crossref®
Unpaywall®
Google Scholar®
Publication Identifiers
DBLP: conf/sat/KatebiSS11
SCOPUS: 2-s2.0-79959400343
Unpaywall: 10.1007/978-3-642-21581-0_27
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service