Knowledge Tree

researcher / Mohamed Iguernelala

Mohamed Iguernelala

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Strengthening the heart of an SMT-solver : Design and implementation of efficient decision procedures