Search the dblp DataBase

Publications of Author

1. Scott J. Weber, Matthew W. Moskewicz, Matthias Gries, Christian Sauer, Kurt Keutzer
   Fast cycle-accurate simulation and instruction set generation for constraint-based descriptions of programmable architectures. [Citation Graph (0, 0)][DBLP]
   CODES+ISSS, 2004, pp:18-23 [Conf]
   
2. Matthew W. Moskewicz, Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik
   Chaff: Engineering an Efficient SAT Solver. [Citation Graph (0, 0)][DBLP]
   DAC, 2001, pp:530-535 [Conf]
   
3. Cong Liu, Andreas Kuehlmann, Matthew W. Moskewicz
   CAMA: A Multi-Valued Satisfiability Solver. [Citation Graph (0, 0)][DBLP]
   ICCAD, 2003, pp:326-333 [Conf]
   
4. Lintao Zhang, Conor F. Madigan, Matthew W. Moskewicz, Sharad Malik
   Efficient Conflict Driven Learning in Boolean Satisfiability Solver. [Citation Graph (0, 0)][DBLP]
   ICCAD, 2001, pp:279-285 [Conf]
   
5. Ying Zhao, Sharad Malik, Albert Wang, Matthew W. Moskewicz, Conor F. Madigan
   Matching Architecture to Application Via Configurable Processors: A Case Study with Boolean Satisfiability Problem. [Citation Graph (0, 0)][DBLP]
   ICCD, 2001, pp:447-452 [Conf]
   
6. Ying Zhao, Sharad Malik, Matthew W. Moskewicz, Conor F. Madigan
   Accelerating boolean satisfiability through application specific processing. [Citation Graph (0, 0)][DBLP]
   ISSS, 2001, pp:244-249 [Conf]
   
7. Andrew Mihal, Chidamber Kulkarni, Matthew W. Moskewicz, Mel M. Tsai, Niraj Shah, Scott J. Weber, Yujia Jin, Kurt Keutzer, Christian Sauer, Kees A. Vissers, Sharad Malik
   Developing Architectural Platforms: A Disciplined Approach. [Citation Graph (0, 0)][DBLP]
   IEEE Design & Test of Computers, 2002, v:19, n:6, pp:6-16 [Journal]