AESAT: An optimization framework for SAT solvers based on LLM
☆19May 8, 2026Updated 5 months ago
Alternatives and similar repositories for AESAT
Users that are interested in AESAT are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Benchmarking Large Neighborhood Search for Multi-Agent Path Finding☆22Aug 18, 2025Updated last year
- [ICLR 2026] Generalizable Heuristic Generation Through LLMs with Meta-Optimization☆16Aug 23, 2026Updated 2 months ago
- ☆93Sep 27, 2026Updated last month
- Multi-Depot Vehicle Routing Problem Using Logic-Based Benders Decomposition☆15Sep 2, 2024Updated 2 years ago
- 复现中国电机工程学报《微 电网两阶段鲁棒优化经济调度方法》☆14May 7, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Code and data for paper named: Large language models for automatic equation discovery of nonlinear dynamics☆14Mar 6, 2025Updated last year
- verilog实现CLAHE（限制对比度自适应直方图均衡化）算法，并进行资源优化，含vivado综合工程。 // Verilog implementation of CLAHE (Contrast Limited Adaptive Histogram…☆21Apr 30, 2026Updated 6 months ago
- GA algorithm to solve bin packing and production scheduling problems☆15Sep 11, 2022Updated 4 years ago
- A comprehensive and open-source reproduction of Jev.☆23Sep 29, 2026Updated last month
- Code for our paper: ACM-MILP: Adaptive Constraint Modification via Grouping and Selection for Hardness-Preserving MILP Instance Generatio…☆15Jan 3, 2025Updated last year
- 2021级HUST操作系统实验以及操作系统课程设计实验和实验报告☆19Apr 21, 2024Updated 2 years ago
- This is a repository about the code of those common optimzations.☆19Dec 10, 2020Updated 5 years ago
- Accompanying github for the paper "Logic-Based Benders Decomposition for Wildfire Suppression"☆22Sep 3, 2022Updated 4 years ago
- ☆17Oct 13, 2025Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- geoVeRoPy: Geometrical Vehicle Routing Problems solved by Python☆24Aug 2, 2026Updated 2 months ago
- This is the repo for the team Pikachu's solution in the League of Robot Competition 2023. Our solution won the Overall Best and Fast Move…☆29Oct 17, 2024Updated 2 years ago
- ☆23Oct 7, 2026Updated 3 weeks ago
- ☆25May 24, 2022Updated 4 years ago
- ☆23Mar 3, 2026Updated 7 months ago
- [ICLR 2026] Official Code of: "FlowCast: Advancing Precipitation Nowcasting with Conditional Flow Matching"☆29Aug 3, 2026Updated 2 months ago
- Official implementation of the paper "Guidance Graph Optimization for Lifelong Multi-Agent Path Finding", published in IJCAI 2024.☆26Mar 10, 2026Updated 7 months ago
- skills published and maintained by baidu cloud engine☆32Updated this week
- ☆30Sep 3, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Benchmarking LLMs on literature-grounded large-scale OR problems for efficient algorithm design (NeurIPS 2026 Datasets and Benchmarks Tra…☆43Updated this week
- ☆39Sep 8, 2026Updated last month
- [IJCAI'25] Bandit-based Adaptive Large-Neighborhood Search☆24Aug 13, 2026Updated 2 months ago
- Learning Benders Decomposition by Coding☆36Jan 30, 2022Updated 4 years ago
- [ICLR'26] CALM: Co-evolution of Algorithms and Language Model for Automatic Heuristic Design☆22Jun 16, 2026Updated 4 months ago
- 一份 Claude Code 稳定使用环境配置指南：固定浏览器 Profile 与网络出口，减少频繁验证和授权异常。☆37Sep 9, 2026Updated last month
- [NeurIPS2024] Fast T2T: Optimization Consistency Speeds Up Diffusion-Based Training-to-Testing Solving for Combinatorial Optimization; [N…☆26Jul 2, 2025Updated last year
- 为非常嵌入的嵌入式设备设计的最小的最小化华中科技大学校园网络认证工具☆34Oct 25, 2026Updated last week
- Reference code as a part of a tutorial of Bayesian Optimization for scientific discovery☆27Jun 2, 2026Updated 4 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 2015年Murray关于卡车无人机协同配送问题的复现代码，包括建模和文中的启发式求解，全网首发。☆40Oct 28, 2024Updated 2 years ago
- Official implementation of "G-LNS: Generative Large Neighborhood Search for LLM-Based Automatic Heuristic Design"(arXiv:2602.08253).☆31Feb 10, 2026Updated 8 months ago
- 🚀【Kaggle】Digit Recognizer代码和数据集 (Score 99.5%/99.91%/100%) ⛳☆26Dec 18, 2019Updated 6 years ago
- 用 Markdown 写论文，自动生成格式合规的 Word 文档。NEU thesis compiler: Markdown DSL → AST → .docx☆29May 29, 2026Updated 5 months ago
- ☆24Mar 29, 2024Updated 2 years ago
- PyTorch code for the NAR4TSP.☆28Oct 31, 2024Updated 2 years ago
- My personal website. :) 笑笑的个人网站。smilingwayne.github.io/me/☆51Updated this week