EasyChair Smart SlideDocs/Log in
Author: Jonathan Chung

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

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

On the Hierarchical Community Structure of Practical SAT Formulas

On the Hierarchical Community Structure of Practical SAT Formulas

Chunxiao Li, Jonathan Chung, Soham Mukherjee, Marc Vinyals, Noah Fleming, Antonina Kolokolova, Alice Mu and Vijay Ganesh

Presentations in this collection: 2
Copyright © 2002 – 2025 EasyChair