Nicolas Beldiceanu
3 papers · 2024–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🌍
Conference Polyglot
(2)
🌈
Renaissance Researcher
(5)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(11)
Conferences
IJCAI (2)
AAAI (1)
Top co-authors
Keywords
constraint programming
(3)
search algorithm
(1)
functional dependency
(1)
steiner tree
(1)
alldifferent constraint
(1)
generalized arc consistency
(1)
formula learning
(1)
spatial planning
(1)
depth-first search
(1)
boolean formula
(1)
hanan grid
(1)
boolean formulae
(1)
graph connectivity
(1)
polynomial expression
(1)
Papers
Bimodal Depth-First Search for Scalable GAC for AllDifferent
IJCAI 2025
Towards the 30 by 30 Kunming-Montreal Global Biodiversity Framework Target: Optimising Graph Connectivity in Constraint-Based Spatial Planning
IJCAI 2025
Composing Biases by Using CP to Decompose Minimal Functional Dependencies for Acquiring Complex Formulae
AAAI 2024