Login / Signup
Search for developments of a box having multiple ways of folding by SAT solver.
Riona Tadaki
Kazuyuki Amano
Published in:
CoRR (2020)
Keyphrases
</>
sat solvers
search space
search strategies
constraint solver
symmetry breaking
search algorithm
sat problem
sat solving
dynamic programming
orders of magnitude
search strategy
search tree
constraint satisfaction
linear constraints