Compact SAT encoding for power peak minimization in assembly line balancing

DOI10.1007/S10878-026-01471-YMaRDI QIDQ7406197zbMATH OpenFDO

Authors Tuyen van Kieu, Phong Chi Nguyen, Bao Gia Hoang, Khanh van To

Publication date 2026

Published in Journal of Combinatorial Optimization (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S10878-026-01471-Y

zbMATH Keywords

assembly line balancingincremental SATMaxSATpower peak minimizationSAT encoding

Mathematics Subject Classification ID

Mathematical programming (90Cxx)

Cites work

• A Computing Procedure for Quantification Theory
• A Survey of Exact Algorithms for the Simple Assembly Line Balancing Problem
• A survey on problems and methods in generalized assembly line balancing
• Cardinality networks: a theoretical and empirical study
• Encoding Redundancy for Satisfaction-Driven Clause Learning
• GRASP: a search algorithm for propositional satisfiability
• scientific article; zbMATH DE number 1488068 (Why is no real title available?)
• Introduction to algorithms.
• RC2: an efficient MaxSAT solver
• State-of-the-art exact and heuristic solution procedures for simple assembly line balancing
• Systematic data generation and test design for solution algorithms on the example of SALBPGen for assembly line balancing
• Towards an Optimal CNF Encoding of Boolean Cardinality Constraints

This page was built for publication: Compact SAT encoding for power peak minimization in assembly line balancing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7406197)