COMIN, CARLO

COMIN, CARLO  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.023 secondi).
Titolo Data di pubblicazione Autore(i) File
An Improved Upper Bound on Maximal Clique Listing via Rectangular Fast Matrix Multiplication 1-gen-2018 Comin, Carlo; Rizzi, Romeo
Checking dynamic consistency of conditional hyper temporal networks via mean payoff games 1-gen-2018 Comin, Carlo; Rizzi, Romeo
Hyper Temporal Networks 1-gen-2017 Comin, Carlo; Posenato, Roberto; Rizzi, Romeo
Incorporating Decision Nodes into Conditional Simple Temporal Networks 1-gen-2017 Cairo, Massimo; Combi, Carlo; Comin, Carlo; Hunsberger, Luke; Posenato, Roberto; Rizzi, Romeo; Zavatteri, Matteo
Instantaneous Reaction-Time in Dynamic-Consistency Checking of Conditional Simple Temporal Networks 1-gen-2016 Cairo, Massimo; Comin, Carlo; Rizzi, Romeo
On Restricted Disjunctive Temporal Problems: Faster Algorithms and Tractability Frontier 1-gen-2018 Comin, Carlo; Rizzi, Romeo