Constraint programming

Llistar Títols per Matèria "Constraint programming"

S'han trobat 21 ítems

Llistant ítems des de 0 a 21:

  1   
FormatDataTítolAutor
FormatDataTítolAutor
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 1 juny 2018 Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem
out url icon Recercat 5 juny 2018 Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem Garcia Oliveras, Marc
doc icon DUGiDocs setembre 2016 Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem Garcia Oliveras, Marc
out url icon Recercat 15 febrer 2020 Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem Garcia Oliveras, Marc
doc icon DUGiDocs juny 2017 Entorn de visualització i resolució de puzles tipus Cococrash Toledo Román, José Manuel
doc icon DUGiDocs juny 2015 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 1 juny 2018 The RANTANPLAN planner: system description
out url icon Recercat 5 juny 2018 The RANTANPLAN planner: system description Bofill Arasa, Miquel ; Espasa, Joan ; Villaret i Ausellé, Mateu
doc icon DUGiDocs 22 desembre 2016 The RANTANPLAN planner: system description Bofill Arasa, Miquel ; Espasa Arxer, Joan ; Villaret i Ausellé, Mateu
doc icon DUGiDocs 10 desembre 2015 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 gener 2022 SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints Bofill Arasa, Miquel ; Coll Caballero, Jordi ; Nightingale, Peter ; Suy Franch, Josep ; Ulrich-Oltean, Felix ; Villaret i Ausellé, Mateu
doc icon DUGiDocs 20 desembre 2012 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 2012 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 1 gener 2013 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   

Matèries

Autors