Local search characteristics of incomplete SAT procedures (Q5958635): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 02:24, 30 January 2024
scientific article; zbMATH DE number 1715664
Language | Label | Description | Also known as |
---|---|---|---|
English | Local search characteristics of incomplete SAT procedures |
scientific article; zbMATH DE number 1715664 |
Statements
Local search characteristics of incomplete SAT procedures (English)
0 references
3 March 2002
0 references
local search
0 references
satisfiability
0 references
constraint satisfaction
0 references
experimental analysis
0 references