G2SAT: Learning to Generate SAT Formulas
☆50Jun 25, 2020Updated 6 years ago
Alternatives and similar repositories for G2SAT
Users that are interested in G2SAT are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Learning local search heuristics for Boolean satisfiability☆38May 8, 2024Updated 2 years ago
- [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks☆41May 14, 2024Updated 2 years ago
- This is the code for G2MILP, a deep learning-based mixed-integer linear programming (MILP) instance generator.☆37Oct 3, 2024Updated last year
- NeuroSAT: Learning a SAT Solver from Single-Bit Supervision☆295Mar 12, 2019Updated 7 years ago
- [SIGKDD 2023] HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline☆23Jun 16, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆12Feb 26, 2024Updated 2 years ago
- Spectral Graph Attention Network with Fast Eigen-approximation☆11Dec 24, 2021Updated 4 years ago
- A Simple CDCL Solver☆37Mar 8, 2023Updated 3 years ago
- Management of Benchmark Instances and Instance Attributes☆22Aug 20, 2026Updated last week
- The official implementation of DIG-MILP☆14Oct 27, 2023Updated 2 years ago
- ☆11Apr 16, 2020Updated 6 years ago
- Schedule for ArtOfSAT☆11Oct 11, 2023Updated 2 years ago
- Code for our paper: ACM-MILP: Adaptive Constraint Modification via Grouping and Selection for Hardness-Preserving MILP Instance Generatio…☆14Jan 3, 2025Updated last year
- code for paper "Graph Structure of Neural Networks"☆156Aug 30, 2021Updated 4 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Code for "Weisfeiler and Leman go sparse: Towards higher-order graph embeddings"☆21Jan 27, 2022Updated 4 years ago
- Code for Sufficient Input Subsets Paper☆14Mar 8, 2019Updated 7 years ago
- ☆13Dec 31, 2024Updated last year
- The aim of this project is to use machine learning to determine if two graphs are isomorphic☆15Jan 25, 2016Updated 10 years ago
- Challenging SAT benchmarks for matrix multiplication☆12Oct 28, 2021Updated 4 years ago
- ☆24Feb 8, 2024Updated 2 years ago
- GraphRNN: Generating Realistic Graphs with Deep Auto-regressive Models☆733Jan 20, 2022Updated 4 years ago
- The top three SAT solvers of 2021: kissat-MAB, lstech_maple, and kissat_gb.☆22Mar 15, 2025Updated last year
- Code for SIGDial 2019 Best Paper: Structured Fusion Networks for Dialog https://arxiv.org/abs/1907.10016☆30Aug 19, 2019Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Codes for NIPS 2019 Paper: Rethinking Kernel Methods for Node Representation Learning on Graphs☆35Feb 20, 2020Updated 6 years ago
- Bayan Algorithm☆13Jun 17, 2025Updated last year
- This is a caffe implementation to visualize the learnt model☆10Jul 2, 2015Updated 11 years ago
- Implementations of "Break the Ceiling: Stronger Multi-scale Deep Graph Convolutional Networks"☆54Sep 25, 2024Updated last year
- Code for NeurIPS 2019 paper "Hierarchical Optimal Transport for Document Representation"☆54Jan 22, 2020Updated 6 years ago
- Code of "Breaking the Limits of Message Passing Graph Neural Networks" paper published in ICML2021☆42Jun 10, 2021Updated 5 years ago
- ☆16Sep 29, 2025Updated 11 months ago
- Official repository for "Plug & Play Directed Evolution for Proteins with Gradient-Based Discrete MCMC"☆12Jul 18, 2023Updated 3 years ago
- Qute: a dependency learning QBF solver.☆16Mar 31, 2026Updated 4 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Repository containing the code for the project "Using deep learning to construct Stochastic Local Search SAT solvers with performance bou…☆16Apr 16, 2026Updated 4 months ago
- ☆10Feb 22, 2023Updated 3 years ago
- Position-aware Graph Neural Networks☆402Oct 12, 2020Updated 5 years ago
- Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)☆33Feb 10, 2022Updated 4 years ago
- A toolkit for SAT-based prototyping in Python☆459Aug 16, 2026Updated 2 weeks ago
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆28Updated this week
- ☆107Sep 25, 2019Updated 6 years ago