An Analysis of Core-Guided Maximum Satisfiability Solvers Using Linear Programming.

George Katsirelos

Published in: SAT (2023)

Keyphrases

linear programming
data sets
statistical analysis
real time
reinforcement learning
special case
automatic analysis
databases
data mining
image processing
case study
wide range
artificial neural networks
linear program