A linear programming based satisfiability solver using a new horn-driven search tree design
Conference Paper
(2002)
Author(s)
L van Norden (TU Delft - Data-Intensive Systems)
H. van Maaren (TU Delft - Old - EWI Ch. Optimization Technology)
Research Group
Data-Intensive Systems
To reference this document use:
https://resolver.tudelft.nl/uuid:7aacdfbc-ae74-4946-927a-5253a8356fba
More Info
expand_more
expand_more
Publication Year
2002
Research Group
Data-Intensive Systems
Pages (from-to)
775-776
ISBN (print)
3-540-44120-4
No files available
Metadata only record. There are no files for this record.