Day, Joel
- Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis
2024/01/30 by Zhengyang Lu, Lu, Zhengyang, Stefan Siemer +9 · 3 citations
Computer Science · #Artificial Intelligence (cs.AI) #Artificial Intelligence in Games #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Software Engineering (cs.SE)
- The Satisfiability of Extended Word Equations: The Boundary Between Decidability and Undecidability
2018/02/02 by Day, Joel, Ganesh, Vijay, He, Paul +2 · 1 citation
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)