TL
Tongkai Lu
On Valency
published · living versionsW_ynk8pk2k·v1 · currentpublished
SAT-ACT: Learning CDCL Branching from Outcome-Derived Action Preferences
with Zhenchao Sun, Chongyang Tao, Ping Lu, Jianling Gao +1
1 version
Preprints & journals
We couldn't confidently link this author to their published research yet.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.