Search results
From MaRDI portal
- extended direct branching algorithm for checking equivalence of deterministic pushdown automata 1984-01-01 Paper A direct branching algorithm for checking...10 bytes (13 words) - 10:28, 6 October 2023
- for decomposable branching processes in a random environment 2015-10-30 Paper Catalytic branching random walks in ℤ d with branching at the origin 2015-09-14...10 bytes (14 words) - 23:31, 9 December 2023
- de/entity/Q3693332 1982-01-01 Paper Algorithms for a projection model of demographic indicators based on generalized age-dependent branching processes 1981-01-01 Paper...10 bytes (15 words) - 08:36, 12 December 2023
- hierarchy results for restricted branching programs 2024-01-05 Paper The size of reduced OBDDs and optimal read-once branching programs for almost all Boolean...10 bytes (15 words) - 11:37, 8 December 2023
- 2017-12-01 Paper Rejoinder on: ``On learning and branching: a survey 2017-10-12 Paper On learning and branching: a survey 2017-10-12 Paper Cutting planes from...10 bytes (15 words) - 18:24, 9 December 2023
- exponential size read-once branching programs. 2006-01-17 Paper A lower bound technique for nondeterministic graph-driven read-once-branching programs and its applications...10 bytes (13 words) - 19:12, 24 September 2023
- time algorithms for multi-type branching processesand stochastic context-free grammars 2014-05-13 Paper Polynomial Time Algorithms for Branching Markov...10 bytes (13 words) - 21:41, 10 December 2023
- 3)\)-\textsc{MaxSAT} algorithms 2019-06-25 Paper Scheduling two-stage jobs on multiple flowshops 2019-05-29 Paper Randomized parameterized algorithms for the kidney...10 bytes (16 words) - 09:22, 11 December 2023
- Planar graphs that need four pages 2020-09-24 Paper Polynomial Time Algorithms for Branching Markov Decision Processes and Probabilistic Min(Max) Polynomial...10 bytes (15 words) - 22:51, 11 December 2023
- enumeration algorithms 2008-12-02 Paper Almost 2-SAT Is Fixed-Parameter Tractable (Extended Abstract) 2008-08-28 Paper Minimum Leaf Out-Branching Problems...10 bytes (13 words) - 08:42, 7 October 2023
- 3)\)-\textsc{MaxSAT} algorithms 2019-06-25 Paper Scheduling two-stage jobs on multiple flowshops 2019-05-29 Paper On Approximation Algorithms for Two-Stage Scheduling...10 bytes (14 words) - 17:06, 9 December 2023
- exact algorithms 2010-03-09 Paper Pursuing a fast robber on a graph 2010-03-09 Paper Algorithms - ESA 2003 2010-03-03 Paper Fast Exact Algorithms for Hamiltonicity...10 bytes (17 words) - 22:54, 9 December 2023
- New General-Purpose Algorithm for Mixed-Integer Bilevel Linear Programs 2018-01-11 Paper Comments on: ``On learning and branching: a survey 2017-10-12...10 bytes (14 words) - 19:19, 24 September 2023
- multi-type branching Brownian motion 2024-11-08 Paper Tail probability of maximal displacement in critical branching Lévy process with stable branching 2024-11-05...10 bytes (14 words) - 04:02, 9 December 2023
- modified branching diffusion models 1977-01-01 Paper Strong limit theorems for general supercritical branching processes with applications to branching diffusions...10 bytes (14 words) - 14:13, 7 December 2023
- measures targeting read-once branching programs 2024-12-03 Paper Perspective on complexity measures targetting read-once branching programs 2023-05-18 Paper...10 bytes (13 words) - 22:38, 24 September 2023
- implications 2018-04-24 Paper Branching Brownian motion, mean curvature flow and the motion of hybrid zones 2018-01-18 Paper Branching Brownian motion and selection...10 bytes (16 words) - 22:55, 10 December 2023
- Parameterized Algorithms 2010-04-27 Paper Algorithms and Data Structures 2010-04-20 Paper Improved fixed parameter tractable algorithms for two ``edge...10 bytes (14 words) - 01:43, 25 September 2023
- abstract model for branching and its application to mixed integer programming 2017-12-01 Paper Erratum to: ``An abstract model for branching and its application...10 bytes (17 words) - 15:36, 6 December 2023
- 2021-09-10 Paper On tseitin formulas, read-once branching programs and treewidth 2021-08-03 Paper ON OBDD-BASED ALGORITHMS AND PROOF SYSTEMS THAT DYNAMICALLY CHANGE...10 bytes (15 words) - 20:19, 11 December 2023
