Processing Online SAT Instances with Waiting Time Constraints and Completion Weights.

Robinson Duque Alejandro Arbelaez Juan Francisco Díaz

Published in: LOD (2018)

Keyphrases

sat instances
sat solvers
satisfiability problem
phase transition
constraint satisfaction
sat problem
stochastic local search
linear constraints
computational properties
bayesian networks
evolutionary algorithm
orders of magnitude
randomly generated
global constraints
combinatorial problems
boolean satisfiability