Spiking analog VLSI neuron assemblies as constraint satisfaction problem solvers.
Jonathan BinasGiacomo IndiveriMichael PfeifferPublished in: ISCAS (2016)
Keyphrases
- analog vlsi
- constraint satisfaction problems
- neuron model
- single neuron
- spike trains
- backtracking search
- constraint problems
- constraint solver
- constraint satisfaction
- spiking neurons
- hodgkin huxley
- constraint solvers
- spiking neural networks
- global constraints
- constraint propagation
- sat solvers
- constraint programming
- feed forward
- search space
- constraint solving
- np complete
- combinatorial problems
- non binary
- neural network
- sat encodings
- constraint networks
- arc consistency
- finite domain
- np hard
- decomposition methods
- soft constraints
- sat problem
- focal plane
- forward checking
- partial constraint satisfaction
- special case
- pseudo boolean optimization
- path consistency
- clause learning
- symmetry breaking
- temporal constraints
- phase transition
- heuristic search
- search algorithm