The SCEAS System
Navigation Menu

Search the dblp DataBase


Matthew W. Moskewicz: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.002secs, Finished in 0.002secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002