Finding Guaranteed MUSes Fast
Conference Paper
(2008)
Author(s)
H van Maaren (TU Delft - Old - EWI Sect. Optimization Technology)
S. Wieringa (External organisation)
Research Group
Old - EWI Sect. Optimization Technology
To reference this document use:
https://resolver.tudelft.nl/uuid:4451d1ef-dbb7-4bf1-af31-369909d60c82
More Info
expand_more
expand_more
Publication Year
2008
Research Group
Old - EWI Sect. Optimization Technology
Pages (from-to)
291-304
ISBN (print)
978-3-540-79718-0
No files available
Metadata only record. There are no files for this record.