Sotabase

Career

· Co-founder, Looloo Technology2021–
· Master, Computer Science, UCLA2005–2010
· Bachelor's degree, Computer Engineering & Computer Science, Carnegie Mellon University2001–2005
· Senior Software Engineer, Google Inc.

Publications (4)

A Lower Bound on the Size of Decomposable Negation Normal Form
AAAI Conference on Artificial Intelligence · 2010
44
cited
Performance analysis of the filtered backprojection image reconstruction algorithms
Proceedings. (ICASSP '05). IEEE International Conference on Acoustics, Speech, and Signal Processing, 2005. · 2005
13
cited
SAT Solver Description : Rsat
2006
9
cited
Reasoning with propositional knowledge: frameworks for boolean satisfiability and knowledge compilation
2010
5
cited
Sotabase
Thammanit Pipatsrisawat | Researcher Profile | Sotabase | Sotabase