AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems

From MaRDI portal

Jump to:navigation, search

MaRDI QIDQ6518798arXivFDO

Authors P. Jha, Zhengyu Li, Zhengyang Lu, Curtis Bright, Vijay Ganesh

Published in arXiv

This page was built for publication: AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6518798)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=AlphaMapleSAT:_An_MCTS-based_Cube-and-Conquer_SAT_Solver_for_Hard_Combinatorial_Problems&oldid=95412137"