A two-phase algorithm for solving a class of hard satisfiability problems [niet eerder opgevoerd]
Journal Article
(1998)
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:d0e0ba54-272b-4310-a105-ba2524851233
More Info
expand_more
expand_more
Publication Year
1998
Research Group
Old - EWI Ch. Optimization Technology
Volume number
23
Pages (from-to)
81-88
No files available
Metadata only record. There are no files for this record.