Efficient All-UIP Learned Clause Minimization.

Mathias Fleury Armin Biere

Published in: SAT (2021)

Keyphrases

information retrieval
data sets
information systems
efficient learning
objective function
mobile robot
computationally expensive