Alan M. Frisch

2 papers · 2003–2023 · 2 conferences · across top CS/AI conferences

Achievements

🌍 Conference Polyglot (2) 🏃 Academic Marathon (20) 🐝 Cross-Pollinator (14)

Conferences

IJCAI (1) JMLR (1)

Top co-authors

James Cussens (1) Ian Miguel (1) Peter Nightingale (1) Christopher Jefferson (1) Ian P. Gent (1) Özgür Akgün (1)

Keywords

automated reasoning (1) constraint satisfaction (1) constraint programming (1) symmetry breaking (1) model generation (1)

Papers

Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract) IJCAI 2023

Introduction to the Special Issue on Inductive Logic Programming JMLR 2003