Pedant: A Certifying DQBF Solver.

Franz-Xaver Reichl Friedrich Slivovsky

Published in: SAT (2022)

Keyphrases

data mining
data sets
neural network
genetic algorithm
preprocessing
expert systems
pairwise
hidden markov models
jigsaw puzzle