A linear programming based satisfiability solver using a new horn-driven search tree design
Conference Paper
(2002)
Author(s)
L van Norden (TU Delft - Electrical Engineering, Mathematics and Computer Science)
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
Publisher
Springer
ISBN (print)
3-540-44120-4
Event
Principles and practice of constraint programming: 8th international conference (2002-09-09 - 2002-09-13), Berlin
Downloads counter
97
No files available
Metadata only record. There are no files for this record.