Sfoglia per Autore
Mostrati risultati da 1 a 4 di 4
Learning SMT(LRA) Constraints using SMT Solvers
2018-01-01 Kolb, Samuel Maria; Teso, Stefano; Passerini, Andrea; De Raedt, Luc
Predictive spreadsheet autocompletion with constraints
2020-01-01 Kolb, Samuel; Teso, Stefano; Dries, Anton; De Raedt, Luc
Learning MAX-SAT from Contextual Examples for Combinatorial Optimisation
2020-01-01 Kumar, Mohit; Kolb, Samuel; Teso, Stefano; De Raedt, Luc
Hybrid Probabilistic Inference with Logical and Algebraic Constraints: a Survey
2021-01-01 Morettin, Paolo; Zuidberg Dos Martires, Pedro; Kolb, Samuel; Passerini, Andrea
Titolo | Anno di pubblicazione | Autori Unitn | File |
---|---|---|---|
Learning SMT(LRA) Constraints using SMT Solvers | 1-gen-2018 | Kolb, Samuel MariaTeso, StefanoPasserini, Andrea + | |
Predictive spreadsheet autocompletion with constraints | 1-gen-2020 | Kolb, SamuelTeso, Stefano + | |
Learning MAX-SAT from Contextual Examples for Combinatorial Optimisation | 1-gen-2020 | Kolb, SamuelTeso, Stefano + | |
Hybrid Probabilistic Inference with Logical and Algebraic Constraints: a Survey | 1-gen-2021 | Morettin, PaoloKolb, SamuelPasserini, Andrea + |
Mostrati risultati da 1 a 4 di 4
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile