IslamHamada

Pinned Repositories

Rootkit
Language:Python0 1 00
AutomataDisambiguation
Automata Disambiguation Algorithms
Language:Java00
Minimize-Sat-Model
An Algorithm to Minimize The SAT Model Returned By a SAT Solver
Language:C++1 1 00
OntologyProv
Provide Explanations for an Ontology Based System
Language:Java10
FuseIC3
An Algorithm for Checking Large Design Spaces
Language:C++9 1 13
The-Incomplete-Project
Language:CSS0 5 01

IslamHamada's Repositories

IslamHamada/Minimize-Sat-Model
An Algorithm to Minimize The SAT Model Returned By a SAT Solver
Language:C++1 1 00
IslamHamada/OntologyProv
Provide Explanations for an Ontology Based System
Language:Java10
IslamHamada/AutomataDisambiguation
Automata Disambiguation Algorithms
Language:Java00