Luftschlange / ms-steiner-puw
An evolutionary multi-start algorithm for the Steiner Tree Problem in graphs with a fast local search.
☆13Updated 2 years ago
Related projects: ⓘ
- Very fast and scalable algorithms for the influence maximization and influence estimation problems in the independent cascade model.☆25Updated 8 years ago
- Modeling and Programming with Gecode☆44Updated last year
- Framework for generating adversarial examples using formal methods and for analyzing robustness of DNNs.☆21Updated 7 years ago
- Exploration Library in C++☆14Updated last year
- A low-level probabilistic programming framework embedded in Terra.☆28Updated 8 years ago
- ☆25Updated this week
- ☆15Updated 6 years ago
- Library of composable generative population models which serve as the modeling and inference backend of BayesDB.☆25Updated 2 months ago
- C++ Hypergraph modelling Library using Boost and OpenMP with some algorithms, including isomorphism using Gecode.☆21Updated 2 years ago
- Automatic differentiation for NumPy☆42Updated 11 years ago
- Wviews is an artificial intelligence system extension for generating world view answer sets for epistemic logic programs☆8Updated 6 years ago
- Fast and simple algorithms for computing both LCSk and LCSk+☆20Updated 6 years ago
- [Deprecated]: Exploration library☆16Updated last year
- Architectural Framework For Integrated Refinement Modeling☆11Updated 7 years ago
- Shine - A symbolic regression machine☆11Updated 13 years ago
- CP 2015 subgraph isomorphism experiments, data and paper☆13Updated 9 years ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆16Updated 3 years ago
- Simple recursive and iterative SAT solver written in Python.☆122Updated 5 years ago
- Large-Scale Graph Inference☆13Updated 6 months ago
- A vertex-centric CUDA/C++ API for large graph analytics on GPUs using the Gather-Apply-Scatter abstraction☆23Updated 10 years ago
- A particle swarm optimization library created by Numenta for hyperparameter optimization.☆18Updated 9 years ago
- The STINGER in-memory graph store and dynamic graph analysis platform. Millions to billions of vertices and edges at thousands to millio…☆12Updated 8 years ago
- Probabilistic Itemset Mining☆19Updated 8 years ago
- High performance C++ Linear Algebra Library☆14Updated 3 years ago
- Distributed Markov Chain Monte Carlo☆29Updated 6 years ago
- FOundation of stXXl and thriLL☆14Updated 7 months ago
- A set of tools to generate synthetic graphs embedded into a hyperbolic space and to test the greedy routing.☆25Updated 8 years ago
- Numenta's experimental C++ research code. Please see htmresearch for more details.☆25Updated 5 years ago
- Parallel Sequitur Project☆13Updated 11 years ago
- A library of cross-platform, cross-framework, cross-programming language featurizers (operations in a data processing pipeline) that can …☆19Updated 4 years ago