Too much information: CDCL solvers need to forget and perform restarts.

Tom Krüger Jan-Hendrik Lorenz Florian Wörz

Published in: CoRR (2022)

Keyphrases

sat solvers
linear programming
domain specific
domain independent
constraint programming