Correlations between Horn fractions, satisfiability and solver performance for fixed density random 3-CNF instances
Journal Article
(2005)
Author(s)
H. van Maaren (TU Delft - Software Technology)
L van Norden (TU Delft - Data-Intensive Systems)
Department
Software Technology
DOI related publication
https://doi.org/doi:10.1007/s10472-005-2369-1
To reference this document use:
https://resolver.tudelft.nl/uuid:058c2625-7206-4a87-9a4f-ce181307a26a
More Info
expand_more
expand_more
Publication Year
2005
Department
Software Technology
Issue number
1-2
Volume number
44
Pages (from-to)
157-177
No files available
Metadata only record. There are no files for this record.