Search results

for Model Checking: Completed‐Data Plots with Missing and Latent Data 2006-01-03 Paper A case study on the choice, interpretation and checking of multilevel...

online knapsack problem: advice and randomization 2014-03-13 Paper Lower bounds on the complexity of \(\mathsf{MSO}_1\) model-checking 2014-01-28 Paper...

Branch-and-cut-and-price for multi-agent path finding 2022-06-22 Paper Branch-and-cut-and-price for the electric vehicle routing problem with time windows, piecewise-linear...

clustering problem on complete signed graphs 2021-09-15 Paper Minimizing energy and link utilization in ISP backbone networks with multi-path routing: a...

Decidable Extensions of Church’s Problem 2009-11-12 Paper Time-Bounded Verification 2009-10-22 Paper The Church Problem for Countable Ordinals 2009-06-30...

schedules 1995-01-01 Paper A family of efficient regular arrays for algebraic path problem 1994-01-01 Paper A systolic generation of combinations 1989-01-01 Paper...

undecidability results on weighted timed automata 2010-01-18 Paper Mu-calculus path checking 2009-12-18 Paper Measuring Permissivity in Finite Games 2009-10-22 Paper...

2005-04-25 Paper Multicolour Turán problems 2004-10-12 Paper A hypergraph extension of the bipartite Turán problem 2004-08-06 Paper On hypergraphs of girth...

approach to the master surgical scheduling problem 2013-05-28 Paper Color-Coding Algorithms to the Balanced Path Problem: Computational Issues 2012-07-28 Paper...

the maximal independent set problem 1986-01-01 Paper Scheduling transmissions in a network 1985-01-01 Paper Bounds on path connectivity 1984-01-01 Paper...

Vacation 2018-09-06 Paper Scheduling a Rescue 2018-08-22 Paper Reversibility Checking for Markov Chains 2018-06-26 Paper Urn Models and Fibonacci Series 2018-06-24...

2014-12-18 Paper An Exact Algorithm to Check the Existence of (Elementary) Paths and a Generalisation of the Cut Problem in Graphs with Forbidden Transitions...

2018-08-02 Paper Pattern logics and auxiliary relations 2018-04-23 Paper Path Logics for Querying Graphs: Combining Expressiveness and Efficiency 2018-04-23...

Reactive Synthesis 2016-04-13 Paper Variations on the Stochastic Shortest Path Problem 2015-02-04 Paper Robust reachability in timed automata and games: a game-based...

decomposition and its applications to the directed disjoint paths problem 2020-09-28 Paper Model-Checking on Ordered Structures 2020-09-11 Paper Automorphism groups...

on three blow-ups of $\mathbb{P}^{3}$ 2019-08-15 Paper Availability‐based path selection and network vulnerability assessment 2018-05-23 Paper Linear and...

Instance of a ‘Stable Roommates’ Problem: Likely Behavior of the Proposal Algorithm 1994-05-24 Paper The ``stable roommates problem with random preferences 1994-01-05...

Undirected Two Paths Problem 1980-01-01 Paper Strong linear orderings of a directed network 1979-01-01 Paper A fast equivalence-checking algorithm for circular...

bound method when solving the knapsack problem 1985-01-01 Paper Some algorithms for solving the covering problem, and their experimental study on a computer...

Complexity of Locally Checkable Problems on Paths is Decidable 2021-01-20 Paper An Automatic Speedup Theorem for Distributed Problems 2021-01-20 Paper A Sharp...