Hossein M. Sheini

From MaRDI portal
Person:3429160

Available identifiers

zbMath Open sheini.hossein-mMaRDI QIDQ3429160

List of research outcomes





PublicationDate of PublicationType
On Solving Soft Temporal Constraints Using SAT Techniques2008-09-09Paper
A SAT-Based Decision Procedure for Mixed Logical/Integer Linear Problems2008-03-17Paper
From Propositional Satisfiability to Satisfiability Modulo Theories2007-09-04Paper
A Progressive Simplifier for Satisfiability Modulo Theories2007-09-04Paper
https://portal.mardi4nfdi.de/entity/Q34291612007-03-30Paper
Theory and Applications of Satisfiability Testing2005-12-15Paper

Research outcomes over time

This page was built for person: Hossein M. Sheini

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:3429160&oldid=6904954"
Powered by MediaWiki