Sign in

3BA: A Border Bases Solver with a SAT Extension.

Jan HorácekMartin Kreuzer
Published in: ICMS (2018)
Keyphrases
  • sat solving
  • sat solvers
  • neural network
  • satisfiability problem
  • constraint solving
  • state space
  • basis functions
  • sat problem
  • boolean satisfiability
  • backtracking search
  • satisfiability modulo theories