Jonathan Chung

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 3

Top Topics

Clause Learning

Reinforcement Learning

Propositional Satisfiability

Top Venues

Publications

Chunxiao Li, Charlie Liu, Jonathan Chung, Zhengyang Lu, Piyush Jha, Vijay Ganesh
A Reinforcement Learning based Reset Policy for CDCL SAT Solvers. CoRR (2024)
Sam Buss, Jonathan Chung, Vijay Ganesh, Albert Oliveras
Extended Resolution Clause Learning via Dual Implication Points. CoRR (2024)
Albert Oliveras, Chunxiao Li, Darryl Wu, Jonathan Chung, Vijay Ganesh
Learning Shorter Redundant Clauses in SDCL Using MaxSAT. SAT (2023)