Computing in the Fractal Cloud: Modular Generic Solvers for SAT and Q-SAT Variants (Q2898055)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Computing in the Fractal Cloud: Modular Generic Solvers for SAT and Q-SAT Variants |
scientific article |
Statements
Computing in the Fractal Cloud: Modular Generic Solvers for SAT and Q-SAT Variants (English)
0 references
16 July 2012
0 references
abstract geometrical computation
0 references
signal machine
0 references
fractal
0 references
satisfiability problems
0 references
massive parallelism
0 references
model of computation
0 references