Sign in
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