Sums of squares, satisfiability and maximum satisfiability
Conference Paper
(2005)
Author(s)
H. van Maaren (TU Delft - Software Technology)
L van Norden (TU Delft - Data-Intensive Systems)
Department
Software Technology
To reference this document use:
https://resolver.tudelft.nl/uuid:97fd61ae-1da3-4e44-b5eb-b575588352a9
More Info
expand_more
expand_more
Publication Year
2005
Department
Software Technology
Pages (from-to)
294-308
ISBN (print)
3-540-26276-8
No files available
Metadata only record. There are no files for this record.