Sorting Parity Encodings by Reusing Variables.

Leroy Chew Marijn J. H. Heule

Published in: SAT (2020)

Keyphrases

orders of magnitude
relevant variables
variable selection
error correction
learning objects
neural network
information systems
feature selection
high dimensional
planning problems
input variables
causal relationships