Constraint programming

Listing items with Subject "Constraint programming"

20 items found

Showing titles from 0 to 20:

  1   
FormatDateTitleAuthor
FormatDateTitleAuthor
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
doc icon DUGiDocs 2017 June Entorn de visualització i resolució de puzles tipus Cococrash Toledo Román, José Manuel
doc icon DUGiDocs 2015 June Generador d’horaris d’instituts Nogueira Gascons, Cristòfor
out url icon Recercat Generador d’horaris d’instituts Nogueira Gascons, Cristòfor
out url icon Recercat 2018 June 1 The RANTANPLAN planner: system description
out url icon Recercat 2018 June 5 The RANTANPLAN planner: system description Bofill Arasa, Miquel ; Espasa, Joan ; Villaret i Ausellé, Mateu
doc icon DUGiDocs 2016 December 22 The RANTANPLAN planner: system description Bofill Arasa, Miquel ; Espasa Arxer, Joan ; Villaret i Ausellé, Mateu
doc icon DUGiDocs 2015 December 10 Reformulation of constraint models into SMT Palahí i Sitges, Miquel
out url icon Recercat Reformulation of constraint models into SMT Palahí i Sitges, Miquel
doc icon DUGiDocs 2012 December 20 A satisfiability modulo theories approach to constraint programming Suy Franch, Josep
out url icon Recercat A satisfiability modulo theories approach to constraint programming Suy Franch, Josep
out url icon Recercat Solving constraint satisfaction problems with SAT modulo theories Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
doc icon DUGiDocs Solving constraint satisfaction problems with SAT modulo theories Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
out url icon Recercat Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories Ansótegui, Carlos ; Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
doc icon DUGiDocs Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories Ansótegui, Carlos ; Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
  1   

Subjects

Authors