Llistar TÃtols
S'han trobat 54 Ãtems
Llistant Ãtems des de 25 a 50:
| Format | Data | TÃtol | Autor |
|---|
| Format | Data | TÃtol | Autor |
|---|
|
3 setembre 2024 |
Diversity, Equity and Inclusion Presentation |
Akgün, Özgür
; Francisco RodrÃguez, MarÃa AndreÃna
|
|
|
3 setembre 2024 |
Doctoral Research Award. Scalability in Decision-Focused Learning: State of the Art, Challenges, and Beyond |
Mandi, Jayanta
|
|
|
3 setembre 2024 |
Efficient Implementation of the Global Cardinality Constraint with Costs |
Schmied, Margaux
; Régin, Jean-Charles
|
|
|
3 setembre 2024 |
An Efficient Local Search Solver for Mixed Integer Programming |
Lin, Peng
; Zou, Mengchuan
; Cai, Shaowei
|
|
|
3 setembre 2024 |
Encoding the Hamiltonian Cycle Problem into SAT Based on Vertex Elimination |
Zhou, Neng-Fa
|
|
juny 2017 |
Entorn de visualització i resolució de puzles tipus Cococrash |
Toledo Román, José Manuel
|
|
|
3 setembre 2024 |
Exponential steepest ascent from valued constraint graphs of pathwidth four |
Kaznatcheev, Artem
; Van Marle, Melle
|
|
|
3 setembre 2024 |
Frugal Algorithm Selection |
KuÅŸ, Erdem
; Akgün, Özgür
; Dang, Nguyen
; Miguel, Ian
|
|
|
juny 2015 |
Generador d’horaris d’instituts |
Nogueira Gascons, Cristòfor
|
|
|
Generador d’horaris d’instituts |
Nogueira Gascons, Cristòfor
|
|
|
1 juny 2020 |
GOS A new declarative tool for modelling and solving CSPs to SAT |
Generoso Masós, Roger
|
|
|
3 setembre 2024 |
Minizinc Challenge Results |
Stuckey, Peter
|
|
|
22 desembre 2006 |
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
|
|
|
1 juny 2018 |
The RANTANPLAN planner: system description |
|
|
|
5 juny 2018 |
The RANTANPLAN planner: system description |
Bofill Arasa, Miquel
; Espasa, Joan
; Villaret i Ausellé, Mateu
|
|
|
22 desembre 2016 |
The RANTANPLAN planner: system description |
Bofill Arasa, Miquel
; Espasa Arxer, Joan
; Villaret i Ausellé, Mateu
|
|
|
10 desembre 2015 |
Reformulation of constraint models into SMT |
Palahà i Sitges, Miquel
|
|
|
|
Reformulation of constraint models into SMT |
Palahà i Sitges, Miquel
|
|
|
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
|
|
|
20 desembre 2012 |
A satisfiability modulo theories approach to constraint programming |
Suy Franch, Josep
|
|
|
|
A satisfiability modulo theories approach to constraint programming |
Suy Franch, Josep
|
|
|
15 juliol 2019 |
Scheduling through logic-based tools |
Coll Caballero, Jordi
|
|
|
|
Solving constraint satisfaction problems with SAT modulo theories |
Bofill Arasa, Miquel
; Palahà i Sitges, Miquel
; Suy Franch, Josep
; Villaret i Ausellé, Mateu
|
|
|
2012 |
Solving constraint satisfaction problems with SAT modulo theories |
Bofill Arasa, Miquel
; Palahà i Sitges, Miquel
; Suy Franch, Josep
; Villaret i Ausellé, Mateu
|
