Login / Signup

Tinted, Detached, and Lazy CNF-XOR Solving and Its Applications to Counting and Sampling.

Mate SoosStephan GochtKuldeep 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