Descriptive complexity of approximate counting CSPs.

Andrei A. Bulatov Víctor Dalmau Marc Thurley

Published in: CSL (2013)

Keyphrases

constraint satisfaction problems
computational complexity
constraint satisfaction
space complexity
arc consistency
exact solution
database
real time
neural network
genetic algorithm
database systems
objective function
data structure
decision problems
complexity analysis