scientific article; zbMATH DE number 1249657
From MaRDI portal
Publication:4230728
zbMath0910.68085MaRDI QIDQ4230728
B. Vandegriend, Joseph C. Culberson
Publication date: 9 February 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (10)
Many hard examples in exact phase transitions ⋮ Data reductions, fixed parameter tractability, and random weighted \(d\)-CNF satisfiability ⋮ Construction of maximally non-Hamiltonian graphs ⋮ SAT problems with chains of dependent variables ⋮ Empirical Study of Phase Transition of Hamiltonian Cycle Problem in Random Graphs with Degrees Greater Than One ⋮ Compiling problem specifications into SAT ⋮ Frozen development in graph coloring ⋮ On the complexity of unfrozen problems ⋮ Counting Hamiltonian cycles in bipartite graphs ⋮ ASSAT: computing answer sets of a logic program by SAT solvers
This page was built for publication:
