|
Search the dblp DataBase
Hratch Mangassarian:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Hratch Mangassarian, Mohab Anis
On Statistical Timing Analysis with Inter- and Intra-Die Variations. [Citation Graph (0, 0)][DBLP] DATE, 2005, pp:132-137 [Conf]
- Hratch Mangassarian, Hassan Artail
A general framework for subjective information extraction from unstructured English text. [Citation Graph (0, 0)][DBLP] Data Knowl. Eng., 2007, v:62, n:2, pp:352-367 [Journal]
- Hratch Mangassarian, Andreas G. Veneris, Sean Safarpour, Farid N. Najm, Magdy S. Abadir
Maximum circuit activity estimation using pseudo-boolean satisfiability. [Citation Graph (0, 0)][DBLP] DATE, 2007, pp:1538-1543 [Conf]
Trace Compaction using SAT-based Reachability Analysis. [Citation Graph (, )][DBLP]
Leveraging dominators for preprocessing QBF. [Citation Graph (, )][DBLP]
Improved Design Debugging Using Maximum Satisfiability. [Citation Graph (, )][DBLP]
A performance-driven QBF-based iterative logic array representation with applications to verification, debug and test. [Citation Graph (, )][DBLP]
A succinct memory model for automated design debugging. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
|