Knot Pipatsrisawat

Available identifiers

zbMath Open pipatsrisawat.knotMaRDI QIDQ543612

List of research outcomes

Publication	Date of Publication	Type
On the power of clause-learning SAT solvers as resolution engines	2011-06-17	Paper
Top-down algorithms for constructing structured DNNF: theoretical and practical implications	2011-05-11	Paper
On decomposability and interaction functions	2011-05-11	Paper
Solving weighted Max-SAT problems in a reduced search space: a performance analysis	2009-02-24	Paper

Research outcomes over time

This page was built for person: Knot Pipatsrisawat