Solving satisfiability problems using elliptic approximations - effective branching rules
Journal Article
(2000)
Author(s)
JP Warners (External organisation)
H. van Maaren (TU Delft - Old - EWI Ch. Optimization Technology)
Research Group
Old - EWI Ch. Optimization Technology
To reference this document use:
https://resolver.tudelft.nl/uuid:f94a301c-b994-4297-aba3-211bb1a0a6ac
More Info
expand_more
expand_more
Publication Year
2000
Research Group
Old - EWI Ch. Optimization Technology
Issue number
1
Volume number
107
Pages (from-to)
241-259
No files available
Metadata only record. There are no files for this record.