Daniel Le Berre
4 papers · 2017–2025 · 1 conference · across top CS/AI conferences
Achievements
Jump to papers ↓
🧭
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)
Papers
A SAT-based Method for Counting All Singleton Attractors in Boolean Networks
IJCAI 2025
On Irrelevant Literals in Pseudo-Boolean Constraint Learning
IJCAI 2020
Pseudo-Boolean Constraints from a Knowledge Representation Perspective
IJCAI 2018
A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem
IJCAI 2017