EasyChair Smart SlideDocs/Log in
Author: Chunxiao Li

This page shows all presentations of this author published in EasyChair Smart Slide.

Limits of CDCL Learning via Merge Resolution

Limits of CDCL Learning via Merge Resolution

Marc Vinyals, Noah Fleming, Vijay Ganesh, Antonina Kolokolova and Chunxiao Li

Learning Shorter Redundant Clauses in SDCL Using MaxSAT

Learning Shorter Redundant Clauses in SDCL Using MaxSAT

Albert Oliveras, Chunxiao Li, Darryl Wu, Jonathan Chung and Vijay Ganesh

Machine Learning-based Restart Policy for CDCL SAT Solvers

Machine Learning-based Restart Policy for CDCL SAT Solvers

Jia Liang, Chanseok Oh, Minu Mathews, Ciza Thomas, Chunxiao Li and Vijay Ganesh

Presentations in this collection: 3
Copyright © 2002 – 2024 EasyChair