Incremental SAT-based method with native Boolean cardinality handling for the Hamiltonian cycle problem (Q2938540)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 6386613
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Incremental SAT-based method with native Boolean cardinality handling for the Hamiltonian cycle problem |
scientific article; zbMATH DE number 6386613 |
Statements
Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem (English)
0 references
14 January 2015
0 references
0 references
0 references
0 references
0.8038222193717957
0 references
0.7395293712615967
0 references
0.7231279611587524
0 references
0.7180445194244385
0 references
0.7165520787239075
0 references
