Search results
From MaRDI portal
- Variants of the Spanning Star Forest Problem 2011-06-03 Paper Complexity of Total {k}-Domination and Related Problems 2011-06-03 Paper An Improved Approximation...10 bytes (17 words) - 06:00, 9 December 2023
- \(\alpha\)-equivalence with A, C, and AC function symbols 2019-06-25 Paper Typed path polymorphism 2019-06-25 Paper Explicit substitution calculi with de Bruijn...10 bytes (19 words) - 10:13, 7 October 2023
- Minimum Spanning Tree Problem 2011-09-09 Paper The linking set problem: a polynomial special case of the multiple-choice knapsack problem 2010-01-19 Paper Greedy...10 bytes (17 words) - 23:53, 8 December 2023
- spaces 2022-11-09 Paper Remarks on an edge-coloring problem 2022-04-27 Paper Rainbow Erdös--Rothschild Problem for the Fano Plane 2021-09-17 Paper Estimating...10 bytes (17 words) - 07:36, 9 December 2023
- mardi4nfdi.de/entity/Q5199750 2011-08-16 Paper Partial Order Path Technique for Checking Parallel Timed Automata 2011-04-08 Paper Bounds for ratios of...10 bytes (16 words) - 08:50, 7 October 2023
- Algorithm for 3-Compatible Coloring and the Stubborn List Partition Problem (The Stubborn Problem Is Stubborn No More) 2012-11-29 Paper An improved FPT algorithm...10 bytes (17 words) - 09:05, 7 October 2023
- preliminary study 2022-03-23 Paper Pairwise symmetry reasoning for multi-agent path finding search 2021-12-13 Paper Dashed strings for string constraint solving...10 bytes (17 words) - 15:14, 6 October 2023
- of shift scheduling problems 2011-04-06 Paper A large neighbourhood search approach to the multi-activity shift scheduling problem 2010-05-21 Paper Algorithms...10 bytes (18 words) - 09:10, 7 October 2023
- Maximal Independent Set Problem 1986-01-01 Paper Monte-Carlo algorithms for the planar multiterminal network reliability problem 1985-01-01 Paper https://portal...10 bytes (18 words) - 16:49, 12 December 2023
- Node and edge averaged complexities of local graph problems 2023-11-21 Paper Locally checkable problems in rooted trees 2023-09-11 Paper Lower Bounds for...10 bytes (16 words) - 18:03, 24 September 2023
- the long-step path-following method for semidefinite programming 1998-12-06 Paper Superlinear Convergence of a Symmetric Primal-Dual Path Following Algorithm...10 bytes (17 words) - 20:46, 8 December 2023
- 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...10 bytes (16 words) - 12:27, 28 January 2024
- semilinear elliptic equations with uncertainties 2022-04-19 Paper Model Checking for Hidden Markov Models 2022-03-30 Paper Robust control and system identification:...10 bytes (17 words) - 16:36, 27 February 2024
- 2007-09-11 Paper Languages of Nested Trees 2007-09-05 Paper Model Checking on Trees with Path Equivalences 2007-09-03 Paper Hybrid Systems: Computation and...10 bytes (17 words) - 05:20, 9 December 2023
- Explaining Inconsistency in Multi-Context Systems 2010-10-01 Paper The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey 2010-09-03 Paper...10 bytes (17 words) - 12:36, 8 December 2023
- visibility and shortest-path problems in simple polygons 1993-01-17 Paper Optimal parallel algorithms for point-set and polygon problems 1992-06-28 Paper Intersecting...10 bytes (19 words) - 15:15, 8 December 2023
- Domination Set Problem in Graphs by Exact Algorithm and Greedy Heuristic 2014-02-24 Paper New Approximation Algorithms for the Vertex Cover Problem 2014-01-17...10 bytes (16 words) - 20:51, 8 December 2023
- Paper A problem of Erdős and Sós on 3-graphs 2016-04-21 Paper Third Case of the Cyclic Coloring Conjecture 2016-04-04 Paper FO Model Checking of Interval...10 bytes (17 words) - 10:22, 9 December 2023
- Paper The path of light in a gravitational fields. 1922-01-01 Paper The path of light in a gravitational field. 1922-01-01 Paper Solution of problem 339 (T...10 bytes (18 words) - 11:58, 6 October 2023
- 2010-06-07 Paper The communication complexity of the Hamming distance problem 2010-01-29 Paper Path auctions with multiple edge ownership 2009-12-01 Paper https://portal...10 bytes (16 words) - 13:56, 6 October 2023