Sign in
Justin Stevens
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Automatically Learned
Search Strategies
Crossword Puzzles
Constraint Satisfaction
Top Venues
CoRR
SOCS
</>
Publications
</>
Justin Stevens
,
Vadim Bulitko
,
David Thue
Solving Witness-type Triangle Puzzles Faster with an Automatically Learned Human-Explainable Predicate.
CoRR
(2023)
Vadim Bulitko
,
Shuwei Wang
,
Justin Stevens
,
Levi H. S. Lelis
Portability and Explainability of Synthesized Formula-based Heuristics.
SOCS
(2022)