Login / Signup
Riona Tadaki
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Sat Solving
Search Strategies
Constraint Solver
Top Venues
CoRR
</>
Publications
</>
Riona Tadaki
,
Kazuyuki Amano
Search for developments of a box having multiple ways of folding by SAT solver.
CoRR
(2020)