conftrace_

Maurice Bruynooghe

2 papers · 2013–2024 · 2 conferences · across top CS/AI conferences

Achievements

Jump to papers ↓

+2 more ↓

🌍 Conference Polyglot (2) 🐣 Hot Topic Early Bird 🧭 Keyword Pioneer 🌉 Interdisciplinary Bridge 🏃 Academic Marathon (11)

🐝 Cross-Pollinator (8) 📈 Trend Setter

Conferences

AAAI (1) ACML (1)

Top co-authors

Fabian Guiza (1) Marc Denecker (1) Gottfried Schenner (1) Jan Ramon (1) Greet Van den Berghe (1) Jelle Van Eyck (1) Bart Bogaerts (1) Pierre Carbonnelle (1) Geert MeyFroidt (1)

Keywords

prior information (1) first-order logic (1) monte carlo tree search (1) model checking (1) satisfiability checking (1) planning decision (1) hospital planning (1) patient length of stay (1) symmetry reduction (1)

Papers

Using Symmetries to Lift Satisfiability Checking AAAI 2024 Guided Monte Carlo Tree Search for Planning in Learned Environments ACML 2013