Login / Signup
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