conftrace_

Nicolas Beldiceanu

3 papers · 2024–2025 · 2 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze 🌉 Interdisciplinary Bridge · Gold

Venues

IJCAI (2) AAAI (1)

Top co-authors

Gilles Simonin (2) Charles Prud'homme (2) Sulian Le Bozec-Chiffoleau (2) Xavier Lorca (2) Claude-Guy Quimper (1) Jovial Cheukam-Ngouonou (1) Nicolas Rinck (1) Philippe Birnbaum (1) Rémi Douence (1) Philippe Vismara (1)

Research topics

Computer Science (3) Foundations (3) Mathematics & Optimization (2) Optimization (2) Artificial Intelligence (1) Knowledge & Reasoning (1) Machine Learning (1) Learning Paradigms (1) Optimization & Theory (1) Reasoning (1)

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