Spiking Analog VLSI Neuron Assemblies as Constraint Satisfaction Problem Solvers.
Jonathan BinasGiacomo IndiveriMichael PfeifferPublished in: CoRR (2015)
Keyphrases
- analog vlsi
- constraint satisfaction problems
- neuron model
- single neuron
- spike trains
- backtracking search
- constraint solver
- constraint problems
- spiking neurons
- constraint satisfaction
- constraint solvers
- hodgkin huxley
- global constraints
- spiking neural networks
- constraint programming
- constraint propagation
- sat solvers
- constraint solving
- search space
- np complete
- arc consistency
- feed forward
- sat encodings
- neural network
- combinatorial problems
- np hard
- search heuristics
- non binary
- constraint networks
- decomposition methods
- finite domain
- sat problem
- temporal constraints
- distributed constraint satisfaction problems
- focal plane
- reasoning problems
- sat instances
- machine vision
- partial constraint satisfaction
- tractable subclasses