Counterexamples in the CSP
Optimization and Control
2020-07-08 v3
Authors:
Constantine Goulimis
Abstract
We present a collection of examples in various aspects of the one-dimensional cutting stock problem ('1D-CSP'). Based on our 37+ year experience in this area, we discuss some modelling pitfalls and counterexamples.
Cite
@article{arxiv.2004.01937,
title = {Counterexamples in the CSP},
author = {Constantine Goulimis},
journal= {arXiv preprint arXiv:2004.01937},
year = {2020}
}
Related papers
View all related →
Optimization and Control · Mathematics
A study of column generation embedded in scalarization methods for the bi-objective cutting stock problem
Jennifer C. Borges, Helenice de O. Florentino, Socorro Rangel
2026-04-14
Optimization and Control · Mathematics
Minimal proper non-IRUP instances of the one-dimensional Cutting Stock Problem
Vadim M. Kartak, Sascha Kurz, Artem V. Ripatti, Guntram Scheithauer
2015-04-28
Other Computer Science · Computer Science
One-dimensional Cutting Stock Problem with Divisible Items
Deniz Tanir, Onur Ugurlu, Asli Guler, Urfat Nuriyev
2021-07-26
Optimization and Control · Mathematics
Cutting Stock with Binary Patterns: Arc-flow Formulation with Graph Compression
Filipe Brandão, João Pedro Pedroso
2015-02-11
Artificial Intelligence · Computer Science
Solving the Two-dimensional single stock size Cutting Stock Problem with SAT and MaxSAT
Tuyen Van Kieu, Chi Linh Hoang, Khanh Van To
2026-04-06
Discrete Mathematics · Computer Science
Reconstruction and Clustering in Random Constraint Satisfaction Problems
Andrea Montanari, Ricardo Restrepo, Prasad Tetali
2009-04-20
Computer Science and Game Theory · Computer Science
Examples and Counterexamples of Cost-efficiency in Incomplete Markets
Carole Bernard, Stephan Sturm
2024-07-15
Artificial Intelligence · Computer Science
Structural Decompositions for Problems with Global Constraints
Evgenij Thorstensen
2015-02-10
Computational Complexity · Computer Science
Streaming and Sketching Complexity of CSPs: A survey
Madhu Sudan
2022-05-06
Optimization and Control · Mathematics
The Ensemble Approach of Column Generation for Solving Cutting Stock Problems
Mingjie Hu, Jie Yan, Liting Chen, Qingwei Lin
2023-05-24
Artificial Intelligence · Computer Science
Improving Constraint Satisfaction Algorithm Efficiency for the AllDifferent Constraint
Geoff Harris
2020-12-15
Logic in Computer Science · Computer Science
Current Challenges in Infinite-Domain Constraint Satisfaction: Dilemmas of the Infinite Sheep
Michael Pinsker
2022-04-01
Artificial Intelligence · Computer Science
Lifting Structural Tractability to CSP with Global Constraints
Evgenij Thorstensen
2013-07-09
Logic · Mathematics
Separation of congruence intervals and implications
Andrei A. Bulatov
2025-01-16
Computational Complexity · Computer Science
Discrete Homotopy and Promise Constraint Satisfaction Problem
Arash Beikmohammadi, Andrei A. Bulatov
2025-12-08
Computational Complexity · Computer Science
Constraint Satisfaction with Counting Quantifiers
Florent Madelaine, Barnaby Martin, Juraj Stacho
2011-12-14
Robotics · Computer Science
Counterexamples for Robotic Planning Explained in Structured Language
Lu Feng, Mahsa Ghasemi, Kai-Wei Chang, Ufuk Topcu
2018-03-28
Artificial Intelligence · Computer Science
Counting Solutions of Constraint Satisfiability Problems:Exact Phase Transitions and Approximate Algorithm
Minghao Yin, Ping Huang
2011-02-25
Computational Complexity · Computer Science
Report on article The Travelling Salesman Problem: A Linear Programming Formulation
Radoslaw Hofman
2008-06-02
Data Structures and Algorithms · Computer Science
Branch-and-cut algorithms for the covering salesman problem
Lucas Porto Maziero, Fábio Luiz Usberti, Celso Cavellucci
2021-04-05
Artificial Intelligence · Computer Science
Unbiased Statistics of a CSP - A Controlled-Bias Generator
Denis Berthier
2015-06-03
Disordered Systems and Neural Networks · Physics
Biased landscapes for random Constraint Satisfaction Problems
Louise Budzynski, Federico Ricci-Tersenghi, Guilhem Semerjian
2019-03-29
Computer Vision and Pattern Recognition · Computer Science
Exploring Adversarial Examples: Patterns of One-Pixel Attacks
David Kügler, Alexander Distergoft, Arjan Kuijper, Anirban Mukhopadhyay
2018-11-14
Rings and Algebras · Mathematics
Notes on CSPs and Polymorphisms
Zarathustra Brady
2025-05-27
Computational Complexity · Computer Science
Sandwiches for Promise Constraint Satisfaction
Guofeng Deng, Ezzeddine El Sai, Trevor Manders, Peter Mayr +2
2020-03-18