Ellen Dasnois

According to our database¹, Ellen Dasnois authored at least 1 paper in 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of five.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Bibliography

2025

A Few Exercises on the Complexity of Congruence Closure with Cardinality Constraints.

[BibT_eX]

[DOI]

Ellen Dasnois

Pascal Fontaine

Proceedings of the Joint Proceedings of the 23rd International Workshop on Satisfiability Modulo Theories and the 16th Pragmatics of SAT International Workshop co-located with the 31st International Conference on Principles and Practice of Constraint Programming, 2025

Ellen Dasnois

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...