Skip to content

Felix Ulrich-Oltean

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

6

Venues

3

Active years

2022–2025

Best venue rank

A*

Where they publish

Papers

6 indexed papers, newest first.

YearVenueTitleAuthors
2025CPConstraint Models for Klondike.Nguyen Dang, Ian P. Gent, Peter Nightingale, Felix Ulrich-Oltean, Jack Waller
2025CPScheduling Telescope Observations for the European Southern Observatory (Short Paper).Michael Prmm, Peter Nightingale, Felix Ulrich-Oltean
2024ICTAIIndiCon: Selecting SAT Encodings for Individual Pseudo-Boolean and Linear Integer Constraints.Felix Ulrich-Oltean, Peter Nightingale, James Alfred Walker
2023IJCAISAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints (Extended Abstract).Miquel Bofill, Jordi Coll, Peter Nightingale, Josep Suy, Felix Ulrich-Oltean, Mateu Villaret
2023IJCAILearning When to Use Automatic Tabulation in Constraint Model Reformulation.Carlo Cena, zgr Akgn, Zeynep Kiziltan, Ian Miguel, Peter Nightingale, Felix Ulrich-Oltean
2022CPSelecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints.Felix Ulrich-Oltean, Peter Nightingale, James Alfred Walker