Login / Signup

Perturbative methods for mostly monotonic probabilistic satisfiability problems.

Stephen G. EubankMadhurima NathYihui RenAbhijin Adiga
Published in: CoRR (2022)
Keyphrases
  • satisfiability problem
  • np complete
  • stochastic local search
  • logic programs
  • stochastic local search algorithms