Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Karem A. Sakallah - MaRDI portal

Karem A. Sakallah

From MaRDI portal
Person:976992

Available identifiers

zbMath Open sakallah.karem-aMaRDI QIDQ976992

List of research outcomes

PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q50206602022-01-06Paper
EUFORIA: complete software model checking with uninterpreted functions2020-01-23Paper
GRASP: a search algorithm for propositional satisfiability2018-07-09Paper
Solution and Optimization of Systems of Pseudo-Boolean Constraints2018-06-12Paper
Symmetry breaking for pseudo-Boolean formulas2017-06-15Paper
https://portal.mardi4nfdi.de/entity/Q49042232013-01-28Paper
Graph Symmetry Detection and Canonical Labeling: Differences and Synergies2012-08-30Paper
Conflict Anticipation in the Search for Graph Automorphisms2012-06-15Paper
Empirical Study of the Anatomy of Modern Sat Solvers2011-06-17Paper
Symmetry and Satisfiability: An Update2010-09-29Paper
Dynamic symmetry-breaking for Boolean satisfiability2010-06-16Paper
A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas2009-11-16Paper
Theory and Applications of Satisfiability Testing2009-07-24Paper
Generalizing Core-Guided Max-SAT2009-07-07Paper
https://portal.mardi4nfdi.de/entity/Q36240162009-04-28Paper
Dynamic Path Reduction for Software Model Checking2009-02-24Paper
Reveal: A Formal Verification Tool for Verilog Designs2009-01-27Paper
On Solving Soft Temporal Constraints Using SAT Techniques2008-09-09Paper
Searching for Autarkies to Trim Unsatisfiable Clause Sets2008-05-27Paper
A SAT-Based Decision Procedure for Mixed Logical/Integer Linear Problems2008-03-17Paper
Algorithms for computing minimal unsatisfiable subsets of constraints2008-02-18Paper
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
Theory and Applications of Satisfiability Testing2005-12-15Paper
Theory and Applications of Satisfiability Testing2005-12-15Paper
https://portal.mardi4nfdi.de/entity/Q44073632003-06-29Paper
The impact of signal transition time on path delay computation1994-02-07Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Karem A. Sakallah