Justin Stevens

According to our database, Justin Stevens authored at least 2 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Solving Witness-type Triangle Puzzles Faster with an Automatically Learned Human-Explainable Predicate.

Justin Stevens, Vadim Bulitko, David Thue

CoRR, 2023

2022

Portability and Explainability of Synthesized Formula-based Heuristics.

Vadim Bulitko, Shuwei Wang, Justin Stevens, Levi H. S. Lelis

Proceedings of the Fifteenth International Symposium on Combinatorial Search, 2022