Constraint programming

Listing items with Subject "Constraint programming"

44 items found

Showing titles from 0 to 25:

  1  2   
FormatDateTitleAuthor
FormatDateTitleAuthor
media icon DUGiMedia 2024 September 3 30th Anniversary Panel
media icon DUGiMedia 2024 September 3 ACP General Assembly Bergman, David
out url icon Recercat Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem Garcia Oliveras, Marc
out url icon Recercat Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem Garcia Oliveras, Marc
out url icon Recercat 2018 June 1 Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem
out url icon Recercat 2018 June 5 Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem Garcia Oliveras, Marc
doc icon DUGiDocs 2016 September Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem Garcia Oliveras, Marc
out url icon Recercat 2020 February 15 Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem Garcia Oliveras, Marc
media icon DUGiMedia 2024 September 3 Closing Bofill, Miquel ; Villaret i Ausellé, Mateu
media icon DUGiMedia 2024 September 3 Combining Constraint Programming Reasoning with Large Language Model Predictions Régin, Florian ; De Maria, Elisabetta ; Bonlaron, Alexandre
media icon DUGiMedia 2024 September 3 Computing small Rainbow Cycle Numbers with SAT modulo Symmetries Kirchweger, Markus ; Szeider, Stefan
media icon DUGiMedia 2024 September 3 Constraint Acquisition - A Tutorial on Learning Constraint Models Tsouros, Dimos
media icon DUGiMedia 2024 September 3 Constraint Modelling with LLMs using In-Context Learning Michailidis, Kostis ; Tsouros, Dimos ; Guns, Tias
media icon DUGiMedia 2024 September 3 Constraint Programming with JuMP Legat, Benoit
media icon DUGiMedia 2024 September 3 CP 2025. CP-AI-OR 2025. ACP Summer School McCreesh, Ciaran ; Stuckey, Peter ; Verhaeghe, Hélène
media icon DUGiMedia 2024 September 3 A CP/LS heuristic method for maxmin and minmax location problems with distance constraints Losif, Panteleimon ; Ploskas, Nikolaos ; Sergiou, Kostas ; Tsouros, Dimos
media icon DUGiMedia 2024 September 3 Cumulative Scheduling with Calendars and Overtime Cloutier, Samuel ; Quimper, Claude-Guy
media icon DUGiMedia 2024 September 3 Deep Cooperation of Local Search and Unit Propagation Techniques Chen, Xiamin ; Lei, Zhendong ; Lu, Pinyan
media icon DUGiMedia 2024 September 3 Distinguished Service Award Garcia De La Banda, Maria
media icon DUGiMedia 2024 September 3 Diversity, Equity and Inclusion Presentation Akgün, Özgür ; Francisco Rodríguez, María Andreína
media icon DUGiMedia 2024 September 3 Doctoral Research Award. Scalability in Decision-Focused Learning: State of the Art, Challenges, and Beyond Mandi, Jayanta
media icon DUGiMedia 2024 September 3 Efficient Implementation of the Global Cardinality Constraint with Costs Schmied, Margaux ; Régin, Jean-Charles
media icon DUGiMedia 2024 September 3 An Efficient Local Search Solver for Mixed Integer Programming Lin, Peng ; Zou, Mengchuan ; Cai, Shaowei
media icon DUGiMedia 2024 September 3 Encoding the Hamiltonian Cycle Problem into SAT Based on Vertex Elimination Zhou, Neng-Fa
doc icon DUGiDocs 2017 June Entorn de visualització i resolució de puzles tipus Cococrash Toledo Román, José Manuel
  1  2   

Subjects

Authors