Buchumschlag

Solving the Two-dimensional single stock size Cutting Stock Problem with SAT and MaxSAT

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Van Kieu, Tuyen, Hoang, Chi Linh, Van To, Khanh
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Artificial Intelligence Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Compact SAT Encoding for Power Peak Minimization
von: Van Kieu, Tuyen, et al.
Veröffentlicht: (2025)

SAT Encodings for Bandwidth Coloring: A Systematic Design Study
von: Nguyen, Duc Trung Kim, et al.
Veröffentlicht: (2026)

Efficient SAT and MaxSAT techniques for solving the Two-Dimensional Strip Packing Problem
von: Kieu, Tuyen Van, et al.
Veröffentlicht: (2025)

A general optimization solver based on OP-to-MaxSAT reduction
von: Zhao, Yuxin, et al.
Veröffentlicht: (2026)

Certified Branch-and-Bound MaxSAT Solving (Extended Version)
von: Vandesande, Dieter, et al.
Veröffentlicht: (2025)

Redundancy rules for MaxSAT
von: Bonacina, Ilario, et al.
Veröffentlicht: (2025)

Orthologic for SAT Solving
von: de Haldat, Vladislas, et al.
Veröffentlicht: (2026)

An Incremental MaxSAT-based Model to Learn Interpretable and Balanced Classification Rules
von: Júnior, Antônio Carlos Souza Ferreira, et al.
Veröffentlicht: (2024)

Orbitopal Fixing in SAT
von: Anders, Markus, et al.
Veröffentlicht: (2026)

GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field Algebra
von: Kim, Curie, et al.
Veröffentlicht: (2026)

Can Transformers Reason Logically? A Study in SAT Solving
von: Pan, Leyan, et al.
Veröffentlicht: (2024)

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators
von: Bannach, Max, et al.
Veröffentlicht: (2024)

Learning to Rank the Initial Branching Order of SAT Solvers
von: Eriksson, Arvid, et al.
Veröffentlicht: (2026)

Dsat: A Native SAT Solver for Discrete Logic
von: Zhang, Yaofang, et al.
Veröffentlicht: (2026)

Deeply Optimizing the SAT Solver for the IC3 Algorithm
von: Su, Yuheng, et al.
Veröffentlicht: (2025)

RustSAT: A Library For SAT Solving in Rust
von: Jabs, Christoph
Veröffentlicht: (2025)

Certified MaxSAT Preprocessing
von: Ihalainen, Hannes, et al.
Veröffentlicht: (2024)

Evaluating SAT and SMT Solvers on Large-Scale Sudoku Puzzles
von: Davis, Liam, et al.
Veröffentlicht: (2025)

A SAT-based approach to rigorous verification of Bayesian networks
von: Stępka, Ignacy, et al.
Veröffentlicht: (2024)

Solving Cyclic Antibandwidth Problem by SAT
von: Xuan, Hieu Truong, et al.
Veröffentlicht: (2026)

SAT-Solving the Poset Cover Problem
von: Yuan, Chih-Cheng Rex, et al.
Veröffentlicht: (2025)

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization
von: Zhang, Zhiwei, et al.
Veröffentlicht: (2025)

Automatically discovering heuristics in a complex SAT solver with large language models
von: Sun, Yiwen, et al.
Veröffentlicht: (2025)

Logic Optimization Meets SAT: A Novel Framework for Circuit-SAT Solving
von: Shi, Zhengyuan, et al.
Veröffentlicht: (2024)

SAT Encoding of Partial Ordering Models for Graph Coloring Problems
von: Faber, Daniel, et al.
Veröffentlicht: (2024)

Transfer Learning from Foundational Optimization Embeddings to Unsupervised SAT Representations
von: Pal, Koyena, et al.
Veröffentlicht: (2026)

A Reinforcement Learning based Reset Policy for CDCL SAT Solvers
von: Li, Chunxiao, et al.
Veröffentlicht: (2024)

SAT Solving for Variants of First-Order Subsumption
von: Coutelier, Robin, et al.
Veröffentlicht: (2024)

Generalizing Unit Commitment Problem Solving via SAT-based Decoupling
von: Zhao, Yuxin, et al.
Veröffentlicht: (2026)

Queen Domination by SAT Solving
von: Rostami, Taha, et al.
Veröffentlicht: (2025)

A Reduction of Input/Output Logics to SAT
von: Steen, Alexander
Veröffentlicht: (2025)

parSAT: Parallel Solving of Floating-Point Satisfiability
von: Krahl, Markus, et al.
Veröffentlicht: (2025)

Finding hardness reductions automatically using SAT solvers
von: Bergold, Helena, et al.
Veröffentlicht: (2024)

LLM Routing as Reasoning: A MaxSAT View
von: Nguyen, Son, et al.
Veröffentlicht: (2026)

Solving SAT By Computing A Stable Set Of Points In Clusters
von: Goldberg, Eugene
Veröffentlicht: (2025)

SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas
von: Wei, Anjiang, et al.
Veröffentlicht: (2025)

SAT, Gadgets, Max2XOR, and Quantum Annealers
von: Ansótegui, Carlos, et al.
Veröffentlicht: (2024)

Incremental SAT-Based Enumeration of Solutions to the Yang-Baxter Equation
von: Van Caudenberg, Daimy, et al.
Veröffentlicht: (2025)

TurboSAT: Gradient-Guided Boolean Satisfiability Accelerated on GPU-CPU Hybrid System
von: Dai, Steve, et al.
Veröffentlicht: (2025)

SAT-Based Subsumption Resolution
von: Coutelier, Robin, et al.
Veröffentlicht: (2024)