Observed lower bounds for random 3-sat phase transition density using linear programming
Conference Paper
(2005)
Author(s)
MJH Heule (TU Delft - Old - EWI Ch. Optimization Technology)
H van Maaren (TU Delft - Software Technology)
Research Group
Old - EWI Ch. Optimization Technology
To reference this document use:
https://resolver.tudelft.nl/uuid:c88f65c5-0920-4b25-9cbe-ff3fe3636217
More Info
expand_more
expand_more
Publication Year
2005
Research Group
Old - EWI Ch. Optimization Technology
Pages (from-to)
122-134
ISBN (print)
3-540-26276-8
No files available
Metadata only record. There are no files for this record.