Search results
From MaRDI portal
- Further results on the rainbow vertex-disconnection of graphs 2021-08-24 Paper Proper disconnection of graphs 2021-08-12 Paper Complexity results for two...10 bytes (17 words) - 01:16, 13 December 2023
- and computational complexity for solving sum of linear ratios problem 2023-03-29 Paper An efficient algorithm and complexity result for solving the sum...10 bytes (16 words) - 09:30, 7 October 2023
- Term Rewriting 2009-07-24 Paper Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities 2009-04-15 Paper...10 bytes (18 words) - 03:32, 7 October 2023
- Improved descriptional complexity results on generalized forbidding grammars 2022-08-04 Paper Improved Descriptional Complexity Results for Simple Semi-Conditional...10 bytes (18 words) - 12:21, 28 January 2024
- Decidability and Complexity 2022-12-08 Paper Inconsistency-tolerant query answering for existential rules 2022-04-11 Paper Complexity results for preference...10 bytes (16 words) - 21:55, 11 December 2023
- Publication Date of Publication Type Complexity results for multi-pebble automata and their logics 2019-04-29 Paper Complexity results for two-way and multi-pebble...10 bytes (16 words) - 13:13, 24 September 2023
- Percolation: Complexity Results 2015-09-09 Paper Restricted coloring problems on graphs with few \(P_4\)'s 2015-01-22 Paper Inapproximability Results for Graph...10 bytes (18 words) - 02:38, 10 December 2023
- Publication Date of Publication Type Complexity results for an integrated single machine scheduling and outbound delivery problem with fixed sequence 2018-02-28...10 bytes (16 words) - 18:54, 24 September 2023
- programming: semantics, complexity, expressivity, inference 2020-10-22 Paper Thirty years of credal networks: specification, algorithms and complexity 2020-10-22 Paper...10 bytes (18 words) - 02:57, 12 December 2023
- Publication Date of Publication Type Complexity results on register context-free grammars and related formalisms 2022-06-13 Paper Reactive synthesis from...10 bytes (16 words) - 17:20, 24 September 2023
- Dependence Logic 2013-04-12 Paper Complexity of Model Checking for Modal Dependence Logic 2012-06-15 Paper Complexity Results for Modal Dependence Logic 2010-09-03...10 bytes (16 words) - 10:33, 6 October 2023
- percolation: complexity results 2017-12-20 Paper The Maximum Time of 2-neighbour Bootstrap Percolation in Grid Graphs and Parametrized Results 2016-10-21...10 bytes (16 words) - 16:30, 24 September 2023
- cubic graphs 2020-02-25 Paper Complexity and lowers bounds for power edge set problem 2019-01-18 Paper Improved complexity for power edge set problem 2018-06-15...10 bytes (16 words) - 04:38, 12 December 2023
- graphs 2021-08-12 Paper Complexity results for two kinds of colored disconnections of graphs 2021-08-11 Paper Complexity results for the proper disconnection...10 bytes (17 words) - 19:44, 6 October 2023
- mardi4nfdi.de/entity/Q5115779 2020-08-18 Paper Complexity of Grundy coloring and its variants 2018-05-24 Paper Complexity and approximability of parameterized MAX-CSPs...10 bytes (19 words) - 03:19, 25 September 2023
- Paper Descriptional complexity of matrix simple semi-conditional grammars 2020-05-12 Paper Improved descriptional complexity results on generalized forbidding...10 bytes (16 words) - 03:09, 25 September 2023
- characterization of the complexity class \(\Theta_k^{\mathrm{P}}\) based on counting and comparison 2017-09-12 Paper The Complexity of the Nucleolus in Compact...10 bytes (17 words) - 08:41, 7 October 2023
- 2011-05-11 Paper The Complexity of Finding kth Most Probable Explanations in Probabilistic Networks 2011-02-15 Paper Complexity results for enhanced qualitative...10 bytes (17 words) - 00:40, 25 September 2023
- problems: complexity and islands of tractability for the Shapley value 2020-01-20 Paper LTL on Finite and Process Traces: Complexity Results and a Practical...10 bytes (16 words) - 09:18, 7 October 2023
- Publication Type Complexity, decidability and undecidability results for domain-independent planning 2003-02-04 Paper Complexity results for HTN planning...10 bytes (17 words) - 09:38, 24 September 2023