Pipatsrisawat, Knot
9  results:
Search for persons X
?
2

Software health management with Bayesian networks:

Schumann, Johann ; Mbaya, Timmy ; Mengshoel, Ole...
Innovations in Systems and Software Engineering.  9 (2013)  4 - p. 271-292 , 2013
 
?
5

On Modern Clause-Learning Satisfiability Solvers:

Pipatsrisawat, Knot ; Darwiche, Adnan
Journal of Automated Reasoning.  44 (2009)  3 - p. 277-301 , 2009
 
?
6

Solving Weighted Max-SAT Problems in a Reduced Search Space..:

Pipatsrisawat, Knot ; Palyan, Akop ; Chavira, Mark...
Journal on Satisfiability, Boolean Modeling and Computation.  4 (2008)  2-4 - p. 191-217 , 2008
 
?
7

Efficient Genome Wide Tagging by Reduction to SAT:

Choi, Arthur ; Zaitlen, Noah ; Han, Buhm...
Lecture Notes in Computer Science, Vol.5251, pp.135-147.  , 2023
 
1-9