Cheedoong / ust-beamerLinks
The HKUST LaTeX Beamer Template
☆10Updated 10 years ago
Alternatives and similar repositories for ust-beamer
Users that are interested in ust-beamer are comparing it to the libraries listed below
Sorting:
- CaDiCaL + neural glue variable predictions☆10Updated 4 years ago
- A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.☆12Updated 10 months ago
- SATZilla SAT feature extraction tool☆10Updated last year
- Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks☆13Updated 3 years ago
- Parallel SAT Solver☆10Updated 7 years ago
- Implementing SVM layer for classification using Keras Module☆7Updated last year
- ☆13Updated 2 years ago
- ☆15Updated 2 years ago
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆24Updated 2 years ago
- ☆10Updated 7 months ago
- ESBMC-GPU is a context-bounded model checker based on the satisfiability modulo theories (SMT) to check for data race, deadlock, pointer …☆7Updated 8 years ago
- Intrepyd Model Checker☆18Updated 3 years ago
- ☆15Updated 2 years ago
- SAT solver based on CDCL in Python with Conflict Driven Clause Learning, clever Heuristics - VSIDS, 2 - Literal watch advanced data struc…☆20Updated 4 years ago
- Tools for manipulating CHC and related files☆15Updated 2 years ago
- Automated Controller Synthesis☆15Updated 7 years ago
- FPGA 2025 SAT Accel: A modern SAT Solver on FPGA Repository☆13Updated 5 months ago
- [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"☆19Updated 2 years ago
- Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.☆21Updated 5 years ago
- Learning local search heuristics for Boolean satisfiability☆37Updated last year
- A fast and certifying solver for quantified Boolean formulas.☆26Updated 3 months ago
- TVMFuzz: fuzzing tensor-level intermediate representation in TVM☆29Updated 5 years ago
- A python package of Zeroth-Order Optimization (ZOOpt)☆71Updated 2 years ago
- Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of…☆19Updated 11 months ago
- A Python API for the MiniSat and MiniCard constraint solvers.☆22Updated last month
- ☆13Updated 10 months ago
- Simple SAT solver with CDCL implemented in Python☆17Updated 2 years ago
- propositional satisfiability problem (SAT) goes neural and deep☆13Updated 3 years ago
- ☆14Updated 7 years ago
- ☆15Updated 4 years ago