Search Results for author:
Found 2 papers, 1 papers with code
Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis
Our method treats strategy synthesis as a sequential decision-making process, whose search tree corresponds to the strategy space, and employs MCTS to navigate this vast search space.
String Theories involving Regular Membership Predicates: From Practice to Theory and Back
Designing an algorithm for the (generally undecidable) satisfiability problem for systems of string constraints requires a thorough understanding of the structure of constraints present in the targeted cases.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
