Search results
From MaRDI portal
- fast parallel single-source lexicographic depth-first search, breadth-first search, and topological-first search 2001-11-21 Paper https://portal.mardi4nfdi...10 bytes (20 words) - 12:04, 9 December 2023
- 2016-09-05 Paper Ordered Resolution for Coalition Logic 2015-12-11 Paper A Modal-Layered Resolution Calculus for K 2015-12-11 Paper A resolution-based calculus for...10 bytes (17 words) - 15:28, 24 September 2023
- connectivity problems: simpler, leaner, faster 2020-02-28 Paper Fast breadth-first search in still less space 2020-02-24 Paper Highly succinct dynamic data...10 bytes (17 words) - 20:37, 11 December 2023
- mappings in Banach spaces 2013-12-04 Paper Research on low-complexity breadth-first detection for multiple-symbol differential unitary space–time modulation...10 bytes (16 words) - 15:22, 10 December 2023
- communications 2018-09-14 Paper An optimal EREW parallel algorithm for computing breadth-first search trees on permutation graphs 2016-06-01 Paper A new filtration...10 bytes (20 words) - 15:50, 10 December 2023
- transform sets 2010-01-29 Paper Salembier's min-tree algorithm turned into breadth first search 2009-07-09 Paper A queue based mutual exclusion algorithm 2009-03-26...10 bytes (18 words) - 12:05, 9 December 2023
- Paper A formal analysis of why heuristic functions work 2007-10-23 Paper Breadth-first search strategies for trie-based syntactic pattern recognition 2007-09-20...10 bytes (19 words) - 23:47, 11 December 2023
- 2023-11-24 Paper Structured handling of scoped effects 2023-08-03 Paper Breadth-first traversal via staging 2023-06-30 Paper Disjunctive delimited control...10 bytes (16 words) - 11:32, 7 October 2023
- Paper The sh-Lie algebra perturbation lemma 2011-08-04 Paper Origins and breadth of the theory of higher homotopies 2011-05-06 Paper The Lie algebra perturbation...10 bytes (16 words) - 10:41, 8 December 2023
- Keywords unification; logic programs; backtracking; search space; breadth first resolution Mathematics Subject Classification ID...15 bytes (35 words) - 01:22, 31 January 2024
- Carlo simulation-based fuzzy programming 2014-11-24 Paper Approximation of first grade MHD squeezing fluid flow with slip boundary condition using DTM and...10 bytes (15 words) - 12:42, 7 October 2023
- gravity-capillary waves in water of finite depth 2014-09-01 Paper Solvability of a first order differential operator on the two-torus 2014-08-29 Paper On the practical...10 bytes (16 words) - 12:14, 7 October 2023
- effect of microstructural length scale 2016-12-05 Paper Adaptive multi-resolution method for compressible multi-phase flows with sharp interface model and...10 bytes (15 words) - 00:48, 25 September 2023
- 2018-11-13 Paper A method of characterizing network topology based on the breadth-first search tree 2018-11-13 Paper The Einstein specific heat model for finite...10 bytes (15 words) - 16:16, 24 September 2023
- temporal logic Resolution-based methods for modal logics Resolution-based calculi for modal and temporal logics Search strategies for resolution in temporal...15 bytes (202 words) - 03:57, 1 February 2024
- analysis of fixed-point queries on binary trees, QRT FIFO automata, breadth-first grammars and their relations, Data-movement-intensive problems: Two folk...15 bytes (443 words) - 04:50, 7 March 2024
- of a degenerate vertex, Efficient algorithms for finding depth-first and breadth-first search trees in permutation graphs, Determining uni-connectivity...15 bytes (3,706 words) - 14:25, 4 February 2024
- maps on the projective plane, Postorder trees and Eulerian numbers, Breadth-first traversal of trees and integer sorting in parallel, Another distributed...15 bytes (3,168 words) - 04:47, 7 March 2024
