Pages that link to "Item:Q1408386"
From MaRDI portal
The following pages link to SAT problems with chains of dependent variables (Q1408386):
Displaying 5 items.
- SAT and IP based algorithms for magic labeling including a complete search for total magic labelings (Q2018542) (← links)
- Chinese remainder encoding for Hamiltonian cycles (Q2118300) (← links)
- Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem (Q2938540) (← links)
- An incremental SAT-based approach for solving the real-time taxi-sharing service problem (Q6046139) (← links)
- CNF encodings of symmetric functions (Q6635697) (← links)
