 | 2004 |
|---|
| 7 |       | 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.
CODES+ISSS 2004: 18-23 |
| 2003 |
|---|
| 6 | | Cong Liu,
Andreas Kuehlmann,
Matthew W. Moskewicz:
CAMA: A Multi-Valued Satisfiability Solver.
ICCAD 2003: 326-333 |
| 2002 |
|---|
| 5 | | 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.
IEEE Design & Test of Computers 19(6): 6-16 (2002) |
| 2001 |
|---|
| 4 | | Matthew W. Moskewicz,
Conor F. Madigan,
Ying Zhao,
Lintao Zhang,
Sharad Malik:
Chaff: Engineering an Efficient SAT Solver.
DAC 2001: 530-535 |
| 3 | | Lintao Zhang,
Conor F. Madigan,
Matthew W. Moskewicz,
Sharad Malik:
Efficient Conflict Driven Learning in Boolean Satisfiability Solver.
ICCAD 2001: 279-285 |
| 2 |  | 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.
ICCD 2001: 447-452 |
| 1 | | Ying Zhao,
Sharad Malik,
Matthew W. Moskewicz,
Conor F. Madigan:
Accelerating boolean satisfiability through application specific processing.
ISSS 2001: 244-249 |
