Covered Clause Elimination
Conference Paper
(2010)
Author(s)
MJH Heule (TU Delft - Old - EWI Ch. Optimization Technology)
M Järvisalo (External organisation)
A Biere (External organisation)
Research Group
Old - EWI Ch. Optimization Technology
To reference this document use
https://resolver.tudelft.nl/uuid:ecc61e13-c09a-4d35-aafd-9a7c7426cbf3
More Info
expand_more
expand_more
Publication Year
2010
Language
English
Research Group
Old - EWI Ch. Optimization Technology
Pages (from-to)
357-371
Publisher
Springer
ISBN (print)
978-3-642-1624-1
Event
17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR (2010-10-10 - 2010-10-15), Berlin, Germany
Downloads counter
144
No files available
Metadata only record. There are no files for this record.