Constraint programming (Computer science)

Listing items with Subject "Constraint programming (Computer science)"

16 items found

Showing titles from 0 to 16:

  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
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