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:
- Power Law Random k-SAT Generator☆16Nov 21, 2021Updated 4 years ago
- Using GNN and DQN to find a baetter branching heuristic for a CDCL Solver☆54Oct 20, 2020Updated 5 years ago
- Learning local search heuristics for Boolean satisfiability☆38May 8, 2024Updated 2 years ago
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆47Feb 17, 2020Updated 6 years ago
- propositional satisfiability problem (SAT) goes neural and deep☆12Aug 17, 2021Updated 5 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.
- This is the code for G2MILP, a deep learning-based mixed-integer linear programming (MILP) instance generator.☆38Oct 3, 2024Updated last year
- NeuroSAT: Learning a SAT Solver from Single-Bit Supervision☆296Mar 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
- Spectral Graph Attention Network with Fast Eigen-approximation☆11Dec 24, 2021Updated 4 years ago
- ☆17May 24, 2023Updated 3 years ago
- A small project that uses Discrete Denoising Diffusion Probabilistic Models (D3PMs), a generative model for discrete data that builds upo…☆18Aug 10, 2024Updated 2 years ago
- A Simple CDCL Solver☆37Mar 8, 2023Updated 3 years ago
- The official implementation of DIG-MILP☆14Oct 27, 2023Updated 2 years ago
- Schedule for ArtOfSAT☆11Oct 11, 2023Updated 2 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.
- 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 "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
- ☆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
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Codes for NIPS 2019 Paper: Rethinking Kernel Methods for Node Representation Learning on Graphs☆35Feb 20, 2020Updated 6 years ago
- 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
- CaDiCaL + neural glue variable predictions☆10Oct 21, 2020Updated 5 years ago
- Morgan A. Schmitz., Matthieu Heitz, Nicolas Bonneel, Fred Ngole, David Coeurjolly, Marco Cuturi, Gabriel Peyré, and Jean-Luc Starck. "Was…☆20Oct 18, 2019Updated 6 years ago
- Cross Entropy Low-rank Logits for graph generation.☆19Jun 30, 2026Updated 2 months ago
- Grain of Salt equation generator☆19May 6, 2022Updated 4 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.
- Qute: a dependency learning QBF solver.☆16Mar 31, 2026Updated 5 months ago
- Repository containing the code for the project "Using deep learning to construct Stochastic Local Search SAT solvers with performance bou…☆16Apr 16, 2026Updated 5 months ago
- KDD CUP 2020 Automatic Graph Representation Learning: 1st Place Solution☆99Jan 12, 2021Updated 5 years ago
- A high-efficiency hybrid solving CEC algorithm☆14May 25, 2023Updated 3 years ago
- ☆10Feb 22, 2023Updated 3 years ago
- A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.☆20Jul 21, 2026Updated last month
- ☆18Aug 25, 2021Updated 5 years ago