Search Results - "El Abidine Bouneb, Zine"

Yet another algorithm for maximal clique enumeration problem.

Authors: El Abidine Bouneb, Zine¹ (AUTHOR) bouneb.zineabidine@univ-oeb.dz

Source: Discrete Mathematics, Algorithms & Applications. Jun2026, Vol. 18 Issue 5, p1-14. 14p.

Parallel State Space Construction for a Model Checking Based on Maximality Semantics.

Authors: El Abidine Bouneb, Zine Saïdouni, Djamel Eddine

Source: AIP Conference Proceedings. 3/5/2009, Vol. 1107 Issue 1, p7-12. 6p. 7 Diagrams, 3 Graphs.