Explore projects
-
scos / ijtihad
Otherijtihad is a solver for Quantified Boolean Formulas based on counterexample-guided expansion.
Updated -
Updated
-
Work on soft error analysis for the IMMORTAL project (activity with IBM)
Updated
ijtihad is a solver for Quantified Boolean Formulas based on counterexample-guided expansion.
Work on soft error analysis for the IMMORTAL project (activity with IBM)