Login / Signup
Tinted, Detached, and Lazy CNF-XOR Solving and Its Applications to Counting and Sampling.
Mate Soos
Stephan Gocht
Kuldeep S. Meel
Published in:
CAV (1) (2020)
Keyphrases
</>
model counting
sat solving
orders of magnitude
sample size
boolean functions
data sets
feature selection
combinatorial optimization
stochastic local search