Analyzing Multiple Conflicts in SAT: An Experimental Evaluation.

Albert Oliveras Enric Rodríguez-Carbonell Rui Zhao

Published in: LPAR (2023)

Keyphrases

experimental evaluation
neural network
satisfiability problem
data mining
artificial intelligence
case study
database systems
sat solvers
conflict resolution
max sat
resolve conflicts