Magnin, Morgan

2 publications

IJCAI 2025 A SAT-Based Method for Counting All Singleton Attractors in Boolean Networks Rei Higuchi, Takehide Soh, Daniel Le Berre, Morgan Magnin, Mutsunori Banbara, Naoyuki Tamura
MLJ 2022 Learning Any Memory-Less Discrete Semantics for Dynamical Systems Represented by Logic Programs Tony Ribeiro, Maxime Folschette, Morgan Magnin, Katsumi Inoue