Kian Ming A. Chai

Identifiers

• name variant Kian Ming A. Chai 0.50 · backfill

Papers (1)

1. BOSPHORUS: Bridging ANF and CNF Solvers cs.LO · 2018 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Davin Choo 1 shared papers
• Kuldeep S. Meel 1 shared papers
• Mate Soos 1 shared papers