Karem A. Sakallah

Available identifiers

zbMath Open sakallah.karem-aMaRDI QIDQ976992

List of research outcomes

Publication	Date of Publication	Type
Towards an automatic proof of the bakery algorithm	2024-01-11	Paper
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

This page was built for person: Karem A. Sakallah