M. Almulla

From MaRDI portal
Person:1277338

Available identifiers

zbMath Open almulla.mohammedMaRDI QIDQ1277338

List of research outcomes





PublicationDate of PublicationType
Keyed hash function based on a chaotic map2012-06-08Paper
https://portal.mardi4nfdi.de/entity/Q30827062011-03-16Paper
The practicality of generating semantic trees for proofs of unsatisfiability2002-12-19Paper
Improving the time efficiency of proving theorems using a learning mechanism2002-01-02Paper
Heuristics used by HERBY for semantic tree theorem proving1999-02-02Paper
An upper bound on the time complexity of iterative-deepening-\(A^*\)1997-05-13Paper

Research outcomes over time

This page was built for person: M. Almulla

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1277338&oldid=10776873"
Powered by MediaWiki