Jia Liang

Identifiers

No identifiers captured yet.

Papers (1)

1. Relating Complexity-theoretic Parameters with SAT Solver Performance cs.AI · 2017 · author #5

Mentions

No mention provenance yet.

Frequent Coauthors

• Christoph Wintersteiger 1 shared papers
• Edward Zulkoski 1 shared papers
• Krzysztof Czarnecki 1 shared papers
• Robert Robere 1 shared papers
• Ruben Martins 1 shared papers
• Vijay Ganesh 1 shared papers