default search action

combined dblp search
author search
venue search
publication search

ask others

Hossein M. Sheini

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2006
[b1]
- view
  - electronic edition via handle.net
  - details & citations
- export record
  dblp key:
  - phd/us/Sheini06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/us/Sheini06
Hossein M. Sheini:
Algorithms for satisfiability problems in linear integer arithmetic logic. University of Michigan, USA, 2006
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/SheiniS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/SheiniS06
Hossein M. Sheini, Karem A. Sakallah:
Pueblo: A Hybrid Pseudo-Boolean SAT Solver. J. Satisf. Boolean Model. Comput. 2(1-4): 165-189 (2006)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/SheiniS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/SheiniS06
Hossein M. Sheini, Karem A. Sakallah:
Ario: A Linear Integer Arithmetic Logic Solver. FMCAD 2006: 47-48
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/SheiniS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/SheiniS06
Hossein M. Sheini, Karem A. Sakallah:
SMT(CLU): a step toward scalability in system verification. ICCAD 2006: 844-851
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/SheiniS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/SheiniS06
Hossein M. Sheini, Karem A. Sakallah:
From Propositional Satisfiability to Satisfiability Modulo Theories. SAT 2006: 1-9
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/SheiniS06a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/SheiniS06a
Hossein M. Sheini, Karem A. Sakallah:
A Progressive Simplifier for Satisfiability Modulo Theories. SAT 2006: 184-197
2005
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/SheiniPSP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/SheiniPSP05
Hossein M. Sheini, Bart Peintner, Karem A. Sakallah, Martha E. Pollack:
On Solving Soft Temporal Constraints Using SAT Techniques. CP 2005: 607-621
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/SheiniS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/SheiniS05
Hossein M. Sheini, Karem A. Sakallah:
A SAT-Based Decision Procedure for Mixed Logical/Integer Linear Problems. CPAIOR 2005: 320-335
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/date/SheiniS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/SheiniS05
Hossein M. Sheini, Karem A. Sakallah:
Pueblo: A Modern Pseudo-Boolean SAT Solver. DATE 2005: 684-685
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/SheiniS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/SheiniS05
Hossein M. Sheini, Karem A. Sakallah:
A Scalable Method for Solving Satisfiability of Integer Linear Arithmetic Logic. SAT 2005: 241-256

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.