A Semi-Tensor Product Based All Solutions Boolean Satisfiability Solver.

Hongyang Pan Zhufei Chu

Published in: J. Comput. Sci. Technol. (2023)

Keyphrases

tensor product
boolean satisfiability
sat solving
combinatorial problems
sat solvers
b spline
randomly generated
symmetry breaking
boolean formula
probabilistic planning
branch and bound algorithm
sat problem
machine learning
domain specific
phase transition
max sat