Mohammed Almulla

Available identifiers

zbMath Open almulla.mohammedMaRDI QIDQ1277338

List of research outcomes

Publication	Date of Publication	Type
Keyed hash function based on a chaotic map	2012-06-08	Paper
https://portal.mardi4nfdi.de/entity/Q3082706	2011-03-16	Paper
The practicality of generating semantic trees for proofs of unsatisfiability	2002-12-19	Paper
Improving the time efficiency of proving theorems using a learning mechanism	2002-01-02	Paper
Heuristics used by HERBY for semantic tree theorem proving	1999-02-02	Paper
An upper bound on the time complexity of iterative-deepening-\(A^*\)	1997-05-13	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Mohammed Almulla