-
University of Electronic Science and Technology of China
- Chengdu
Stars
Example UnrealEngine5 space-track.com REST api http client
PDF scientific paper translation with preserved formats - 基于 AI 完整保留排版的 PDF 文档全文双语翻译,支持 Google/DeepL/Ollama/OpenAI 等服务,提供 CLI/GUI/Docker
Code and Presentations regarding the class IND2076 - Machine Learning Under a Modern Optimization Lens
An experimental package for solving various versions of multi-agent path finding problem (MAPF). Most of solvers in the package are based on the reduction to propositional satisfiability (SAT). Thi…
This is the working repository for the CSDP project. CSDP is a solver for semidefinite programming problems. It is a COIN-OR project.
Low-rank semidefinite programming for the MAX2SAT problem
Minimum Hitting Set solver described in my master thesis and a subsequent research paper
Matching papers and reviewers at large conferences
Jupyter notebooks associated with the Algorithms for Optimization textbook
The CP-SAT Primer: Using and Understanding Google OR-Tools' CP-SAT Solver
Julia hybrid constraint programming solver enhanced by a reinforcement learning driven search.
DeepFaceLab is the leading software for creating deepfakes.
C++ 资源大全中文版,标准库、Web应用框架、人工智能、数据库、图片处理、机器学习、日志、代码分析等。由「开源前哨」和「CPP开发者」微信公号团队维护更新。
An exact algorithms for the maximum k-plex problem based on branch-and-bound approach
Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.
Exact Branch-and-Benders-cut algorithm for the Maximal Covering Location Problem and for the Partial Set Covering Location Problem
A branch-and-cut algorithm for the capacitated vehicle routing problem (CVRP)
A pagerank implementation in C++ able to handle very big graphs