No. Title Author Year
1 Hybrid SAT-Based Consistency Checking Algorithms for Simple Temporal Networks with Decisions Zavatteri, Matteo et al. 2019
2 Faster Dynamic Controllability Checking for Simple Temporal Networks with Uncertainty Cairo, Massimo et al. 2018
3 Listing Subgraphs by Cartesian Decomposition Conte, Alessio et al. 2018
4 On Restricted Disjunctive Temporal Problems: Faster Algorithms and Tractability Frontier Comin, Carlo et al. 2018
5 A Streamlined Model of Conditional Simple Temporal Networks - Semantics and Equivalence Results Cairo, Massimo et al. 2017
6 Dynamic Controllability Made Simple Cairo, Massimo et al. 2017
7 Incorporating Decision Nodes into Conditional Simple Temporal Networks Cairo, Massimo et al. 2017
8 Optimal Omnitig Listing for Safe and Complete Contig Assembly Cairo, Massimo et al. 2017
Current Page :
Number of result pages: 1
Number of documents: 8


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI