Login / Signup
Tevich Treethanyaphong
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Symmetry Breaking
Constraint Programming
Search Tree
Sat Solvers
Top Venues
EECS
</>
Publications
</>
Tevich Treethanyaphong
,
Athasit Surarerks
Dynamic Symmetry Breaking in SAT using Augmented Clauses with a Polynomial-Time Lexicographic Pruning.
EECS
(2018)