Pages that link to "Item:Q3067705"
From MaRDI portal
The following pages link to An Effective Algorithm for and Phase Transitions of the Directed Hamiltonian Cycle Problem (Q3067705):
Displaying 3 items.
- SAT and IP based algorithms for magic labeling including a complete search for total magic labelings (Q2018542) (← links)
- The complete parsimony haplotype inference problem and algorithms based on integer programming, branch-and-bound and Boolean satisfiability (Q2628808) (← links)
- Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem (Q2938540) (← links)
