dblp.uni-trier.dewww.uni-trier.de

Knot Pipatsrisawat

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
6 Knot Pipatsrisawat, Adnan Darwiche: A New Clause Learning Scheme for Efficient Unsatisfiability Proofs. AAAI 2008: 1481-1484
5 Knot Pipatsrisawat, Adnan Darwiche: New Compilation Languages Based on Structured Decomposability. AAAI 2008: 517-522
4EEArthur Choi, Noah Zaitlen, Buhm Han, Knot Pipatsrisawat, Adnan Darwiche, Eleazar Eskin: Efficient Genome Wide Tagging by Reduction to SAT. WABI 2008: 135-147
3EEKnot Pipatsrisawat, Akop Palyan, Mark Chavira, Arthur Choi, Adnan Darwiche: Solving Weighted Max-SAT Problems in a Reduced Search Space: A Performance Analysis. JSAT 4(2-4): 191-217 (2008)
2007
2EEKnot Pipatsrisawat, Adnan Darwiche: Clone: Solving Weighted Max-SAT in a Reduced Search Space. Australian Conference on Artificial Intelligence 2007: 223-233
1EEKnot Pipatsrisawat, Adnan Darwiche: A Lightweight Component Caching Scheme for Satisfiability Solvers. SAT 2007: 294-299

Coauthor Index

1Mark Chavira [3]
2Arthur Choi [3] [4]
3Adnan Darwiche [1] [2] [3] [4] [5] [6]
4Eleazar Eskin [4]
5Buhm Han [4]
6Akop Palyan [3]
7Noah Zaitlen [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)