scientific article
From MaRDI portal
Publication:3624048
zbMath1182.68249MaRDI QIDQ3624048
Haixia Jia, D. Strain, Moore, Cristopher
Publication date: 28 April 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
Generating Random SAT Instances: Multiple Solutions could be Predefined and Deeply Hidden ⋮ On the Complexity of Random Satisfiability Problems with Planted Solutions ⋮ Data reductions, fixed parameter tractability, and random weighted \(d\)-CNF satisfiability ⋮ Generating Difficult CNF Instances in Unexplored Constrainedness Regions ⋮ Constructing concrete hard instances of the maximum independent set problem ⋮ Optimal testing for planted satisfiability problems ⋮ Generating hard satisfiable instances by planting into random constraint satisfaction problem model with growing constraint scope length
Uses Software
This page was built for publication:
