Solving Dynamic 3-SAT Formula: An Empirical Study.

Wenjian Luo Junteng Wang Yamin Hu Peilan Xu

Published in: ICDIS (2020)

Keyphrases

sat instances
satisfiability problem
stochastic local search
boolean formula
np complete problems
sat solving
boolean optimization
neural network
linear programming
dynamic environments
propositional logic
graph coloring
boolean satisfiability
sat encodings