Hossein M. Sheini
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2005–2006
Best venue rank
A
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | FMCAD | Ario: A Linear Integer Arithmetic Logic Solver. | Hossein M. Sheini, Karem A. Sakallah |
| 2006 | ICCAD | SMT( | Hossein M. Sheini, Karem A. Sakallah |
| 2006 | SAT | From Propositional Satisfiability to Satisfiability Modulo Theories. | Hossein M. Sheini, Karem A. Sakallah |
| 2006 | SAT | A Progressive Simplifier for Satisfiability Modulo Theories. | Hossein M. Sheini, Karem A. Sakallah |
| 2005 | CP | On Solving Soft Temporal Constraints Using SAT Techniques. | Hossein M. Sheini, Bart Peintner, Karem A. Sakallah, Martha E. Pollack |
| 2005 | CPAIOR | A SAT-Based Decision Procedure for Mixed Logical/Integer Linear Problems. | Hossein M. Sheini, Karem A. Sakallah |
| 2005 | DATE | Pueblo: A Modern Pseudo-Boolean SAT Solver. | Hossein M. Sheini, Karem A. Sakallah |
| 2005 | SAT | A Scalable Method for Solving Satisfiability of Integer Linear Arithmetic Logic. | Hossein M. Sheini, Karem A. Sakallah |