Solving the Two-dimensional single stock size Cutting Stock Problem with SAT and MaxSAT
Fuente:
arXiv
Saved in:
| Main Authors: | Van Kieu, Tuyen, Hoang, Chi Linh, Van To, Khanh |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Compact SAT Encoding for Power Peak Minimization
by: Van Kieu, Tuyen, et al.
Published: (2025)
by: Van Kieu, Tuyen, et al.
Published: (2025)
SAT Encodings for Bandwidth Coloring: A Systematic Design Study
by: Nguyen, Duc Trung Kim, et al.
Published: (2026)
by: Nguyen, Duc Trung Kim, et al.
Published: (2026)
Efficient SAT and MaxSAT techniques for solving the Two-Dimensional Strip Packing Problem
by: Kieu, Tuyen Van, et al.
Published: (2025)
by: Kieu, Tuyen Van, et al.
Published: (2025)
A general optimization solver based on OP-to-MaxSAT reduction
by: Zhao, Yuxin, et al.
Published: (2026)
by: Zhao, Yuxin, et al.
Published: (2026)
Certified Branch-and-Bound MaxSAT Solving (Extended Version)
by: Vandesande, Dieter, et al.
Published: (2025)
by: Vandesande, Dieter, et al.
Published: (2025)
Redundancy rules for MaxSAT
by: Bonacina, Ilario, et al.
Published: (2025)
by: Bonacina, Ilario, et al.
Published: (2025)
Orthologic for SAT Solving
by: de Haldat, Vladislas, et al.
Published: (2026)
by: de Haldat, Vladislas, et al.
Published: (2026)
An Incremental MaxSAT-based Model to Learn Interpretable and Balanced Classification Rules
by: Júnior, Antônio Carlos Souza Ferreira, et al.
Published: (2024)
by: Júnior, Antônio Carlos Souza Ferreira, et al.
Published: (2024)
Orbitopal Fixing in SAT
by: Anders, Markus, et al.
Published: (2026)
by: Anders, Markus, et al.
Published: (2026)
GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field Algebra
by: Kim, Curie, et al.
Published: (2026)
by: Kim, Curie, et al.
Published: (2026)
Can Transformers Reason Logically? A Study in SAT Solving
by: Pan, Leyan, et al.
Published: (2024)
by: Pan, Leyan, et al.
Published: (2024)
Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators
by: Bannach, Max, et al.
Published: (2024)
by: Bannach, Max, et al.
Published: (2024)
Learning to Rank the Initial Branching Order of SAT Solvers
by: Eriksson, Arvid, et al.
Published: (2026)
by: Eriksson, Arvid, et al.
Published: (2026)
Dsat: A Native SAT Solver for Discrete Logic
by: Zhang, Yaofang, et al.
Published: (2026)
by: Zhang, Yaofang, et al.
Published: (2026)
Deeply Optimizing the SAT Solver for the IC3 Algorithm
by: Su, Yuheng, et al.
Published: (2025)
by: Su, Yuheng, et al.
Published: (2025)
RustSAT: A Library For SAT Solving in Rust
by: Jabs, Christoph
Published: (2025)
by: Jabs, Christoph
Published: (2025)
Certified MaxSAT Preprocessing
by: Ihalainen, Hannes, et al.
Published: (2024)
by: Ihalainen, Hannes, et al.
Published: (2024)
Evaluating SAT and SMT Solvers on Large-Scale Sudoku Puzzles
by: Davis, Liam, et al.
Published: (2025)
by: Davis, Liam, et al.
Published: (2025)
A SAT-based approach to rigorous verification of Bayesian networks
by: Stępka, Ignacy, et al.
Published: (2024)
by: Stępka, Ignacy, et al.
Published: (2024)
Solving Cyclic Antibandwidth Problem by SAT
by: Xuan, Hieu Truong, et al.
Published: (2026)
by: Xuan, Hieu Truong, et al.
Published: (2026)
SAT-Solving the Poset Cover Problem
by: Yuan, Chih-Cheng Rex, et al.
Published: (2025)
by: Yuan, Chih-Cheng Rex, et al.
Published: (2025)
Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization
by: Zhang, Zhiwei, et al.
Published: (2025)
by: Zhang, Zhiwei, et al.
Published: (2025)
Automatically discovering heuristics in a complex SAT solver with large language models
by: Sun, Yiwen, et al.
Published: (2025)
by: Sun, Yiwen, et al.
Published: (2025)
Logic Optimization Meets SAT: A Novel Framework for Circuit-SAT Solving
by: Shi, Zhengyuan, et al.
Published: (2024)
by: Shi, Zhengyuan, et al.
Published: (2024)
SAT Encoding of Partial Ordering Models for Graph Coloring Problems
by: Faber, Daniel, et al.
Published: (2024)
by: Faber, Daniel, et al.
Published: (2024)
Transfer Learning from Foundational Optimization Embeddings to Unsupervised SAT Representations
by: Pal, Koyena, et al.
Published: (2026)
by: Pal, Koyena, et al.
Published: (2026)
A Reinforcement Learning based Reset Policy for CDCL SAT Solvers
by: Li, Chunxiao, et al.
Published: (2024)
by: Li, Chunxiao, et al.
Published: (2024)
SAT Solving for Variants of First-Order Subsumption
by: Coutelier, Robin, et al.
Published: (2024)
by: Coutelier, Robin, et al.
Published: (2024)
Generalizing Unit Commitment Problem Solving via SAT-based Decoupling
by: Zhao, Yuxin, et al.
Published: (2026)
by: Zhao, Yuxin, et al.
Published: (2026)
Queen Domination by SAT Solving
by: Rostami, Taha, et al.
Published: (2025)
by: Rostami, Taha, et al.
Published: (2025)
A Reduction of Input/Output Logics to SAT
by: Steen, Alexander
Published: (2025)
by: Steen, Alexander
Published: (2025)
parSAT: Parallel Solving of Floating-Point Satisfiability
by: Krahl, Markus, et al.
Published: (2025)
by: Krahl, Markus, et al.
Published: (2025)
Finding hardness reductions automatically using SAT solvers
by: Bergold, Helena, et al.
Published: (2024)
by: Bergold, Helena, et al.
Published: (2024)
LLM Routing as Reasoning: A MaxSAT View
by: Nguyen, Son, et al.
Published: (2026)
by: Nguyen, Son, et al.
Published: (2026)
Solving SAT By Computing A Stable Set Of Points In Clusters
by: Goldberg, Eugene
Published: (2025)
by: Goldberg, Eugene
Published: (2025)
SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas
by: Wei, Anjiang, et al.
Published: (2025)
by: Wei, Anjiang, et al.
Published: (2025)
SAT, Gadgets, Max2XOR, and Quantum Annealers
by: Ansótegui, Carlos, et al.
Published: (2024)
by: Ansótegui, Carlos, et al.
Published: (2024)
Incremental SAT-Based Enumeration of Solutions to the Yang-Baxter Equation
by: Van Caudenberg, Daimy, et al.
Published: (2025)
by: Van Caudenberg, Daimy, et al.
Published: (2025)
TurboSAT: Gradient-Guided Boolean Satisfiability Accelerated on GPU-CPU Hybrid System
by: Dai, Steve, et al.
Published: (2025)
by: Dai, Steve, et al.
Published: (2025)
SAT-Based Subsumption Resolution
by: Coutelier, Robin, et al.
Published: (2024)
by: Coutelier, Robin, et al.
Published: (2024)
Similar Items
-
Compact SAT Encoding for Power Peak Minimization
by: Van Kieu, Tuyen, et al.
Published: (2025) -
SAT Encodings for Bandwidth Coloring: A Systematic Design Study
by: Nguyen, Duc Trung Kim, et al.
Published: (2026) -
Efficient SAT and MaxSAT techniques for solving the Two-Dimensional Strip Packing Problem
by: Kieu, Tuyen Van, et al.
Published: (2025) -
A general optimization solver based on OP-to-MaxSAT reduction
by: Zhao, Yuxin, et al.
Published: (2026) -
Certified Branch-and-Bound MaxSAT Solving (Extended Version)
by: Vandesande, Dieter, et al.
Published: (2025)