Felix Ulrich-Oltean

2 papers in the IJCAI proceedings

IJCAI 2023

Learning When to Use Automatic Tabulation in Constraint Model Reformulation

with Carlo Cena, Özgür Akgün, Zeynep Kiziltan, Ian Miguel, Peter Nightingale

doi:10.24963/ijcai.2023/211

Details PDF

SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints (Extended Abstract)

with Miquel Bofill, Jordi Coll, Peter Nightingale, Josep Suy, Mateu Villaret

doi:10.24963/ijcai.2023/769

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings