Blocked Clause Elimination
Conference Paper
(2010)
Author(s)
M Jarvisalo (External organisation)
A Biere (External organisation)
MJH Heule (TU Delft - Old - EWI Ch. Optimization Technology)
Research Group
Old - EWI Ch. Optimization Technology
To reference this document use
https://resolver.tudelft.nl/uuid:e073f517-de72-45f2-8221-90016db7e5b4
More Info
expand_more
expand_more
Publication Year
2010
Language
English
Research Group
Old - EWI Ch. Optimization Technology
Pages (from-to)
129-144
Publisher
Springer
ISBN (print)
0302-9743
Event
TACAS '10 (2010-03-20 - 2010-03-28), Berlin
Downloads counter
145
No files available
Metadata only record. There are no files for this record.