jacky860226 / JinkelaSatLinks
A Header-Only CDCL SAT Solver based on MiniSat (Fast and only 500 lines)
☆11Updated 4 years ago
Alternatives and similar repositories for JinkelaSat
Users that are interested in JinkelaSat are comparing it to the libraries listed below
Sorting:
- Transform Learning for NMF☆12Updated 6 years ago
- ☆10Updated 4 years ago
- Parallel SAT Solver☆10Updated 7 years ago
- CUDA implementation of hidden Markov model training and classification☆31Updated 2 months ago
- Fast high-dimensional exact KNN search.☆18Updated 8 years ago
- = 🥁Drum + 🤖VAE. An interactive demo based on the latent vector to generate drum pattern.☆15Updated 6 years ago
- Analogous Safe-state Exploration (ASE) is an algorithm for provably safe and optimal exploration in MDPs with unknown, stochastic dynamic…☆11Updated 4 years ago
- Experiments with Message Passing GNNs in C++ and PyTorch.☆26Updated 11 months ago
- Python implementation of Conditional Random Fields (CRF) for Optical Character Recognition (OCR)☆7Updated 10 years ago
- Experimenting with Lapped Transforms Jupyter Notebook☆12Updated last month
- Solver for Unconstrained Binary Quadratic Optimization (UBQO, BQO, QUBO) and Max 2-SAT, based on semidefinite relaxation with constraint …☆15Updated 2 years ago
- YACHT 🛳️: Smoothly riding the waves of C++ projects☆11Updated 3 years ago
- Supplementary Material to accompany the paper, DJ Warne, SA Sisson, C Drovandi (2019) Acceleration of expensive computations in Bayesian…☆13Updated 4 years ago
- Solving the Travelling Salesman Problem, with applying the hard constraints using the QAutoencoder☆11Updated 3 years ago
- Code for the simulations in the neural Kalman filtering paper☆18Updated 4 years ago
- Optimization and Generalization Analysis of Transduction through Gradient Boosting and Application to Multi-scale Graph Neural Networks☆13Updated 5 years ago
- A C++ deep learning library for the construction and optimization of neural networks ranging from simple feedforward architectures to sta…☆19Updated 4 years ago
- Implementation of basic CDCL-based SAT solver in Python☆10Updated 4 years ago
- Weighted multiple-instance learning algorithm based on stochastic gradient descent☆11Updated 6 years ago
- A deep learning solution to the Query By Singing/Humming (QBSH) problem in Music Information Retrieval (MIR).☆15Updated 8 years ago
- Code for the forget-only version of the LSTM in the paper "The unreasonable effectiveness of the forget gate"☆29Updated 7 years ago
- ☆15Updated 3 years ago
- Code for Robust Kronecker-Decomposable Component Analysis (ICCV 2017)☆11Updated 2 years ago
- Computer Vision I 2017 Fall at NTU☆15Updated 6 years ago
- Discrete Hidden Markov Model (HMM) Implementation in C++☆27Updated 6 years ago
- Dynamic weighted sampling with replacement☆14Updated 9 years ago
- Extreme Learning Machine - C++ library☆33Updated 10 years ago
- Parallel SGD, done locally and remote☆14Updated 9 years ago
- This example shows how to perform quantization aware training for transfer learned MobileNet-v2 network.☆11Updated last year
- Augmentation scripts for the bAbI Dialog Tasks dataset☆13Updated 6 years ago