IPASIR-UP: User Propagators for CDCL.

Katalin Fazekas Aina Niemetz Mathias Preiner Markus Kirchweger Stefan Szeider Armin Biere

Published in: SAT (2023)

Keyphrases

sat solvers
simulated annealing
search strategies
constraint propagation
computational complexity
relevance feedback
global constraints