Karem A. Sakallah

Available identifiers

zbMath Open sakallah.karem-aMaRDI QIDQ976992

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5020660	2022-01-06	Paper
EUFORIA: complete software model checking with uninterpreted functions	2020-01-23	Paper
GRASP: a search algorithm for propositional satisfiability	2018-07-09	Paper
Solution and Optimization of Systems of Pseudo-Boolean Constraints	2018-06-12	Paper
Symmetry breaking for pseudo-Boolean formulas	2017-06-15	Paper
https://portal.mardi4nfdi.de/entity/Q4904223	2013-01-28	Paper
Graph Symmetry Detection and Canonical Labeling: Differences and Synergies	2012-08-30	Paper
Conflict Anticipation in the Search for Graph Automorphisms	2012-06-15	Paper
Empirical Study of the Anatomy of Modern Sat Solvers	2011-06-17	Paper
Symmetry and Satisfiability: An Update	2010-09-29	Paper
Dynamic symmetry-breaking for Boolean satisfiability	2010-06-16	Paper
A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas	2009-11-16	Paper
Theory and Applications of Satisfiability Testing	2009-07-24	Paper
Generalizing Core-Guided Max-SAT	2009-07-07	Paper
https://portal.mardi4nfdi.de/entity/Q3624016	2009-04-28	Paper
Dynamic Path Reduction for Software Model Checking	2009-02-24	Paper
Reveal: A Formal Verification Tool for Verilog Designs	2009-01-27	Paper
On Solving Soft Temporal Constraints Using SAT Techniques	2008-09-09	Paper
Searching for Autarkies to Trim Unsatisfiable Clause Sets	2008-05-27	Paper
A SAT-Based Decision Procedure for Mixed Logical/Integer Linear Problems	2008-03-17	Paper
Algorithms for computing minimal unsatisfiable subsets of constraints	2008-02-18	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
Theory and Applications of Satisfiability Testing	2005-12-15	Paper
Theory and Applications of Satisfiability Testing	2005-12-15	Paper
https://portal.mardi4nfdi.de/entity/Q4407363	2003-06-29	Paper
The impact of signal transition time on path delay computation	1994-02-07	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: Karem A. Sakallah