Asma Khoualdia

Orcid: 0009-0002-1845-9779

According to our database¹, Asma Khoualdia authored at least 2 papers in 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

SAT_for_UNISON.

[DOI]

Dataset, August, 2025

Analyzing Self-Stabilization of Synchronous Unison via Propositional Satisfiability.

[DOI]

Proceedings of the 31st International Conference on Principles and Practice of Constraint Programming, 2025