Skip to main content

2 Result(s)

within Rex Chen Remove this filter

and

  1. Article

    Open Access

    Solving puzzles using knowledge-based automation: biomimicry of human solvers

    The human brain’s remarkable efficiency in solving puzzles through pictorial information processing serves as a valuable inspiration for computational puzzle solving. In this study, we present a nucleation alg...

    Syifa Fauzia, Sean Chen, Ren-Jung Hsu, Rex Chen… in Complex & Intelligent Systems (2024)

    Download PDF (4011 KB) View Article

  2. No Access

    Chapter and Conference Paper

    UNSAT Solver Synthesis via Monte Carlo Forest Search

    We introduce Monte Carlo Forest Search (MCFS), a class of reinforcement learning (RL) algorithms for learning policies in tree MDPs, for which policy execution involves traversing an exponential-sized tree. Ex...

    Chris Cameron, Jason Hartford, Taylor Lundy… in Integration of Constraint Programming, Art… (2024)