{"labels":{"en":"Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis"},"descriptions":{"en":"scientific paper published in CEUR-WS Volume 3725"},"claims":{"P31":"Q13442814","P1433":"Q129053600","P1476":{"text":"Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis","language":"en"},"P407":"Q1860","P953":"https://ceur-ws.org/Vol-3725/abstract1.pdf","P50":[{"value":"Q102110709","qualifiers":{"P1545":"5"}}],"P2093":[{"value":"Zhengyang Lu","qualifiers":{"P1545":"1"}},{"value":"Stefan Siemer","qualifiers":{"P1545":"2"}},{"value":"Piyush Jha","qualifiers":{"P1545":"3"}},{"value":"Florin Manea","qualifiers":{"P1545":"4"}},{"value":"Joel D. Day","qualifiers":{"P1545":"6"}}]}}