Daniel Le Berre
4 papers
· 2017–2025
· 1 conference
· across top CS/AI conferences
Achievements
🧭
Keyword Pioneer
🏃
Academic Marathon
(8)
🐝
Cross-Pollinator
(5)
🌉
Interdisciplinary Bridge
Conferences
IJCAI (4)
Top co-authors
Keywords
pseudo-boolean constraint
(2)
model checking
(2)
abstraction refinement
(1)
cardinality constraint
(1)
polynomial time
(1)
recursive algorithm
(1)
cutting plane
(1)
sat solver
(1)
clause learning
(1)
modal logic
(1)
proof complexity
(1)
boolean network
(1)
singleton attractor
(1)
biological regulatory network
(1)
constraint learning
(1)
attractor computation
(1)
knowledge representation
(1)
fixed point enumeration
(1)
computational complexity
(1)