Circuit satisfiability and constraint satisfaction around Skolem Arithmetic.

Christian Glaßer Peter Jonsson Barnaby Martin

Published in: Theor. Comput. Sci. (2017)

Keyphrases

constraint satisfaction
phase transition
constraint satisfaction problems
satisfiability problem
first order logic
micron cmos
sat problem
propositional logic
heuristic search

constraint programming
np complete
combinatorial problems
constraint propagation
relaxation labeling
sat solvers
probabilistic reasoning
computational complexity
constraint relaxation

davis putnam
randomly generated
arc consistency
constraint solving
robust fault detection
constraint networks
stochastic local search
product configuration

constrained problems
random instances
genetic algorithm
max csp
search algorithm
special case
neural network
knowledge representation