Solving non-Boolean satisfiability problems with stochastic local search: A comparison of encodings (Q862408)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Solving non-Boolean satisfiability problems with stochastic local search: A comparison of encodings |
scientific article |
Statements
Solving non-Boolean satisfiability problems with stochastic local search: A comparison of encodings (English)
0 references
24 January 2007
0 references
search spaces
0 references