Majun He

Identifiers

No identifiers captured yet.

Papers (1)

1. An Efficient Method to Transform SAT problems to Binary Integer Linear Programming Problem cs.CC · 2018 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Jin Wang 1 shared papers
• Qingxian Wang 1 shared papers
• Wenhong Tian 1 shared papers
• Wenxia Guo 1 shared papers
• Xiaoqin Ren 1 shared papers