Pages that link to "Item:Q2938540"
From MaRDI portal
The following pages link to Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem (Q2938540):
Displaying 6 items.
- Chinese remainder encoding for Hamiltonian cycles (Q2118300) (← links)
- Concise integer linear programming formulation for clique partitioning problems (Q2152278) (← links)
- Combining SAT solvers with computer algebra systems to verify combinatorial conjectures (Q2360872) (← links)
- MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers (Q3454125) (← links)
- An incremental SAT-based approach for solving the real-time taxi-sharing service problem (Q6046139) (← links)
- Hamiltonian cycle reconfiguration with answer set programming (Q6545539) (← links)
