G2SAT: Learning to Generate SAT Formulas
☆49Jun 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 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- This is the code for G2MILP, a deep learning-based mixed-integer linear programming (MILP) instance generator.☆36Oct 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
- ☆12Feb 26, 2024Updated 2 years ago
- ☆17May 24, 2023Updated 3 years ago
- Spectral Graph Attention Network with Fast Eigen-approximation☆11Dec 24, 2021Updated 4 years ago
- PDP: A General Neural Framework for Learning Constraint Satisfaction Solvers☆42Jun 12, 2023Updated 3 years ago
- The official implementation of DIG-MILP☆14Oct 27, 2023Updated 2 years ago
- Management of Benchmark Instances and Instance Attributes☆22Jun 11, 2026Updated 3 weeks ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Code for our paper: ACM-MILP: Adaptive Constraint Modification via Grouping and Selection for Hardness-Preserving MILP Instance Generatio…☆14Jan 3, 2025Updated last year
- Schedule for ArtOfSAT☆11Oct 11, 2023Updated 2 years ago
- code for paper "Graph Structure of Neural Networks"☆156Aug 30, 2021Updated 4 years ago
- Code for "Weisfeiler and Leman go sparse: Towards higher-order graph embeddings"☆21Jan 27, 2022Updated 4 years ago
- A small project that uses Discrete Denoising Diffusion Probabilistic Models (D3PMs), a generative model for discrete data that builds upo…☆16Aug 10, 2024Updated last year
- Convert an integer factorization problem into a boolean SATISFIABILITY problem.☆10Jan 14, 2019Updated 7 years ago
- Identifying Nuances in Fake News vs. Satire: Using Semantic and Linguistic Cues (NLP4IF, EMNLP-IJCNLP 2019)☆11Dec 21, 2020Updated 5 years ago
- Challenging SAT benchmarks for matrix multiplication☆12Oct 28, 2021Updated 4 years ago
- DISCS: The code base for the Benchmark for Discrete Sampling☆63Aug 20, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Codes for NIPS 2019 Paper: Rethinking Kernel Methods for Node Representation Learning on Graphs☆35Feb 20, 2020Updated 6 years ago
- Code for SIGDial 2019 Best Paper: Structured Fusion Networks for Dialog https://arxiv.org/abs/1907.10016☆30Aug 19, 2019Updated 6 years ago
- This is a caffe implementation to visualize the learnt model☆10Jul 2, 2015Updated 11 years ago
- CaDiCaL + neural glue variable predictions☆10Oct 21, 2020Updated 5 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
- 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 last week
- Official repository for "Plug & Play Directed Evolution for Proteins with Gradient-Based Discrete MCMC"☆12Jul 18, 2023Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A high-efficiency hybrid solving CEC algorithm☆14May 25, 2023Updated 3 years ago
- ☆45Apr 5, 2023Updated 3 years ago
- Position-aware Graph Neural Networks☆404Oct 12, 2020Updated 5 years ago
- SATZilla SAT feature extraction tool☆15Mar 23, 2026Updated 3 months ago
- A toolkit for SAT-based prototyping in Python☆457Jun 28, 2026Updated last week
- Qute: a dependency learning QBF solver.☆16Mar 31, 2026Updated 3 months ago
- Supporting code for "Learning to Solve Combinatorial Graph Partitioning Problems via Efficient Exploration".☆13Jun 18, 2022Updated 4 years ago