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


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