An algorithm for random signed 3-SAT with intervals (Q2637342)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | An algorithm for random signed 3-SAT with intervals |
scientific article |
Statements
An algorithm for random signed 3-SAT with intervals (English)
0 references
11 February 2014
0 references
random constraint satisfaction problems
0 references
signed satisfiability
0 references
0 references