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

Jan Horácek Martin 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