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:
- A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.☆12Updated 11 months ago
- SATZilla SAT feature extraction tool☆10Updated last year
- CaDiCaL + neural glue variable predictions☆10Updated 4 years ago
- Official Repository for the ICLR 2022 paper "Generalization of Neural Combinatorial Solvers through the Lens of Adversarial Robustness"☆14Updated 2 years ago
- ☆15Updated 2 years ago
- ☆10Updated 8 months ago
- Parallel SAT Solver☆10Updated 7 years ago
- Tools for manipulating CHC and related files☆15Updated 2 years ago
- [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"☆19Updated 2 years ago
- Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks☆13Updated 3 years ago
- SAT solver based on CDCL in Python with Conflict Driven Clause Learning, clever Heuristics - VSIDS, 2 - Literal watch advanced data struc…☆21Updated 4 years ago
- A fast and certifying solver for quantified Boolean formulas.☆26Updated 4 months ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Updated 5 months ago
- A Python API for the MiniSat and MiniCard constraint solvers.☆22Updated 2 months ago
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆24Updated 2 years ago
- ☆14Updated 7 years ago
- 个人在备考GRE时用到的资料☆18Updated 6 years ago
- Simple SAT solver with CDCL implemented in Python☆18Updated 2 years ago
- ☆15Updated 2 years ago
- ☆17Updated last year
- ☆11Updated 2 months ago
- Github repo backing website for the CS Assistant Professor Handbook☆27Updated last year
- Intrepyd Model Checker☆18Updated 3 years ago
- Integration and Supervisory control of Autonomous Robots☆19Updated last week
- GuidedSampler: Coverage-guided Sampling of SMT Solutions☆12Updated last month
- Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.☆16Updated 9 years ago
- OVAL framework for BaB-based Neural Network Verification☆18Updated last month
- Python version of tools to work with AIG formatted files☆12Updated 3 months ago
- ☆13Updated 10 months ago
- A Python implementation of the MARCO/MARCOs algorithm for enumerating MUSes and MSS/MCSes of infeasible constraint systems.☆19Updated 2 months ago