Darryl Wu

According to our database, Darryl Wu authored at least 1 paper in 2023.

Collaborative distances:

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

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