The following pages link to BGL (Q29415):
Displaying 50 items.
- Extracting unsatisfiable cores for LTL via temporal resolution (Q266863) (← links)
- A new heuristic for detecting non-Hamiltonicity in cubic graphs (Q342098) (← links)
- Complex-shaped beam element and graph-based optimization of compliant mechanisms (Q373974) (← links)
- A new dichotomic algorithm for the uniform random generation of words in regular languages (Q391418) (← links)
- Scheduling arc maintenance jobs in a network to maximize total flow over time (Q406493) (← links)
- Models for the single-vehicle preemptive pickup and delivery problem (Q421257) (← links)
- Properties of the DGS-auction algorithm (Q431903) (← links)
- Modeling wildfire propagation with Delaunay triangulation and shortest path algorithms (Q439586) (← links)
- Enhancing unsatisfiable cores for LTL with information on temporal relevance (Q507378) (← links)
- Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code (Q532398) (← links)
- A language for generic programming in the large (Q532409) (← links)
- Treewidth computations. II. Lower bounds (Q549673) (← links)
- Computing large matchings in planar graphs with fixed minimum degree (Q553342) (← links)
- Programming with C++ concepts (Q608245) (← links)
- Fractionation in planar kinematic chains: reconciling enumeration contradictions (Q612683) (← links)
- The simplified partial digest problem: approximation and a graph-theoretic model (Q621677) (← links)
- A generic topology library (Q632812) (← links)
- Optimal distributed linear averaging (Q665204) (← links)
- Treewidth computations. I: Upper bounds (Q964001) (← links)
- Analytical and simulation-based design space exploration of software defined radios (Q987751) (← links)
- Solving path problems on the GPU (Q991105) (← links)
- HyPAM: A hybrid continuum-particle model for incompressible free-surface flows (Q1005511) (← links)
- A divide and conquer matheuristic algorithm for the prize-collecting Steiner tree problem (Q1651621) (← links)
- A flow based pruning scheme for enumerative equitable coloring algorithms (Q1730611) (← links)
- Multiresolution coupled vertical equilibrium model for fast flexible simulation of CO\(_2\) storage (Q1741635) (← links)
- Evacuation dynamics influenced by spreading hazardous material (Q1943867) (← links)
- A new multi-resolution parallel framework for SPH (Q1986949) (← links)
- The Nemhauser-Trotter reduction and lifted message passing for the weighted CSP (Q2011611) (← links)
- Motion planning via manifold samples (Q2017878) (← links)
- On the effectiveness of the genetic paradigm for polygonization (Q2032170) (← links)
- Rewriting theory for the life sciences: a unifying theory of CTMC semantics (Q2049987) (← links)
- Efficient connection processing in equation-based object-oriented models (Q2073116) (← links)
- Bounds on maximum concurrent flow in random bipartite graphs (Q2228396) (← links)
- Compact sparse symbolic Jacobian computation in large systems of ODEs (Q2242825) (← links)
- Capacity inverse minimum cost flow problem (Q2268762) (← links)
- Subregion graph: a path planning acceleration structure for characters with various motion types in very large environments (Q2288106) (← links)
- An adaptable and extensible geometry kernel (Q2371334) (← links)
- Advanced programming techniques applied to CGAL's arrangement package (Q2371336) (← links)
- A generic software design for Delaunay refinement meshing (Q2371339) (← links)
- A global optimization algorithm for solving the minimum multiple ratio spanning tree problem (Q2392120) (← links)
- Fair immunization and network topology of complex financial ecosystems (Q2685076) (← links)
- Selection of Vine Copulas (Q2849522) (← links)
- Local stability implies global stability for the 2-dimensional Ricker map (Q2869925) (← links)
- Minimum-cost flow algorithms: an experimental evaluation (Q2943810) (← links)
- An Evaluation of Automata Algorithms for String Analysis (Q3075486) (← links)
- A Software Package for Chemically Inspired Graph Transformation (Q3187804) (← links)
- Emergence of giant strongly connected components in continuum disk-spin percolation (Q3302657) (← links)
- (Q3574269) (← links)
- Concepts for High-Perfomance Scientific Computing (Q3612869) (← links)
- JGraphT—A Java Library for Graph Data Structures and Algorithms (Q5132324) (← links)
