Improvements to Hybrid Incremental Sat Algorithms

AuthID
 P-00F-V3J
2
Author(s)
Letombe, F
·
2
Editor(s)
Hans Kleine Büning; Xishun Zhao
Document Type
Proceedings Paper
Year published
2008
Published
in Theory and Applications of Satisfiability Testing - SAT 2008, 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 4996, Pages: 168-181
Conference
11Th International Conference on Theory and Applications of Satisfiability Testing, Sat 2008, Date: 12 May 2008 through 15 May 2008, Location: Guangzhou, Sponsors: Hexin Technology;Intel Design Technologies and Solutions;K.C. Wong Education Foundation;Light Engineering;Microsoft Research
Indexing
Scopus®
Dblp®/en/publications/view/519282
Crossref®4
Google Scholar®
Publication Identifiers
DBLP: conf/sat/LetombeM08
SCOPUS: 2-s2.0-44649136249
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Marked List
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service