conftrace_

Alan M. Frisch

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

Achievements

Jump to papers ↓

🌍 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