Picture for Florin Manea

Florin Manea

Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis

Add code
Jan 30, 2024
Viaarxiv icon

String Theories involving Regular Membership Predicates: From Practice to Theory and Back

Add code
May 15, 2021
Figure 1 for String Theories involving Regular Membership Predicates: From Practice to Theory and Back
Figure 2 for String Theories involving Regular Membership Predicates: From Practice to Theory and Back
Viaarxiv icon