Hossein M. Sheini

Available identifiers

zbMath Open sheini.hossein-mMaRDI QIDQ3429160

List of research outcomes

Publication	Date of Publication	Type
On Solving Soft Temporal Constraints Using SAT Techniques	2008-09-09	Paper
A SAT-Based Decision Procedure for Mixed Logical/Integer Linear Problems	2008-03-17	Paper
From Propositional Satisfiability to Satisfiability Modulo Theories	2007-09-04	Paper
A Progressive Simplifier for Satisfiability Modulo Theories	2007-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q3429161	2007-03-30	Paper
Theory and Applications of Satisfiability Testing	2005-12-15	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Hossein M. Sheini