Jonathan Chung

Identifiers

• name variant Jonathan Chung 0.60 · backfill

Papers (1)

1. Extended Resolution Clause Learning via Dual Implication Points cs.LO · 2024 · author #2

Mentions

• 2406.14190 #2 · arxiv_oai · confidence 0.70 Jonathan Chung

Frequent Coauthors

• Albert Oliveras 1 shared papers
• Sam Buss 1 shared papers
• Vijay Ganesh 1 shared papers