5 citations · 14 across the 17 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018★ 1 cited
BOSPHORUS: Bridging ANF and CNF Solvers
Davin Choo, Mate Soos, Kian Ming A. Chai +1
Algebraic Normal Form (ANF) and Conjunctive Normal Form (CNF) are commonly used to encode problems in Boolean algebra. ANFs are typically solved via Gr"obner basis algorithms, ofte…
physics.chem-ph2018★ 5 cited
Chemical Structure Elucidation from Mass Spectrometry by Matching Substructures
Jing Lim, Joshua Wong, Minn Xuan Wong +4
Chemical structure elucidation is a serious bottleneck in analytical chemistry today. We address the problem of identifying an unknown chemical threat given its mass spectrum and i…