Constraints
Listing items with Subject "Constraints"
30 items found
Showing titles from 0 to 25:
Format | Date | Title | Author |
---|
Format | Date | Title | Author |
|
|
Accessible tourism: an integrated model of the behaviour of tourists with disabilities in a destination |
Gassiot Melian, Ariadna
|
|
2016 July 26 |
Accessible tourism: an integrated model of the behaviour of tourists with disabilities in a destination |
Gassiot Melian, Ariadna
|
|
|
Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem |
Garcia Oliveras, Marc
|
|
|
Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem |
Garcia Oliveras, Marc
|
|
2018 June 1 |
Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem |
|
|
2018 June 5 |
Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem |
Garcia Oliveras, Marc
|
|
2016 September |
Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem |
Garcia Oliveras, Marc
|
|
2020 February 15 |
Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem |
Garcia Oliveras, Marc
|
|
2007 July 30 |
Computationally reliable approaches of contractive MPC for discrete-time systems |
Wan, Jian
|
|
|
Computationally reliable approaches of contractive MPC for discrete-time systems |
Wan, Jian
|
|
2016 July 12 |
Constraint-based metabolic models and their application in industrial biotechnology |
Morales Pérez, Yeimy Liceth
|
|
|
Constraint-based metabolic models and their application in industrial biotechnology |
Morales Pérez, Yeimy Liceth
|
|
2017 June |
Entorn de visualitzaciĂł i resoluciĂł de puzles tipus Cococrash |
Toledo Román, José Manuel
|
|
2015 June |
Generador d’horaris d’instituts |
Nogueira Gascons, Cristòfor
|
|
|
Generador d’horaris d’instituts |
Nogueira Gascons, Cristòfor
|
|
2020 June 1 |
GOS A new declarative tool for modelling and solving CSPs to SAT |
Generoso MasĂłs, Roger
|
|
2006 December 22 |
Quantified real constraint solving using modal intervals with applications to control |
Herrero i Viñas, Pau
|
|
|
Quantified real constraint solving using modal intervals with applications to control |
Herrero i Viñas, Pau
|
|
2018 June 1 |
The RANTANPLAN planner: system description |
|
|
2018 June 5 |
The RANTANPLAN planner: system description |
Bofill Arasa, Miquel
; Espasa, Joan
; Villaret i Ausellé, Mateu
|
|
2016 December 22 |
The RANTANPLAN planner: system description |
Bofill Arasa, Miquel
; Espasa Arxer, Joan
; Villaret i Ausellé, Mateu
|
|
2015 December 10 |
Reformulation of constraint models into SMT |
PalahĂ i Sitges, Miquel
|
|
|
Reformulation of constraint models into SMT |
PalahĂ i Sitges, Miquel
|
|
2012 December 20 |
A satisfiability modulo theories approach to constraint programming |
Suy Franch, Josep
|
|
|
A satisfiability modulo theories approach to constraint programming |
Suy Franch, Josep
|