Darryl Wu

According to our database, Darryl Wu authored at least 2 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Improving and Understanding the Power of Satisfaction-Driven Clause Learning.

Albert Oliveras, Chunxiao (Ian) Li, Darryl Wu, Jonathan Chung, Vijay Ganesh

J. Artif. Intell. Res., 2025

2023

Learning Shorter Redundant Clauses in SDCL Using MaxSAT.

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

Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023