Suchergebnisse - logic and constraint programming

Logic-based benders decomposition methods for the distributed flexible job shop scheduling problem.

Autoren: Xiong, Fuli Liu, Hengchong

Quelle: European Journal of Operational Research. Mar2026, Vol. 329 Issue 3, p778-797. 20p.

Schlagwörter: *PRODUCTION scheduling, *MATHEMATICAL optimization, *MATHEMATICAL programming, *RESOURCE allocation, MIXED integer linear programming, CONSTRAINT programming, BENCHMARK problems (Computer science), DECOMPOSITION method

A Constrained Planning Method: Considering Storage Space Limitations and Soft Logic for Cruise Cabin Assembly Scheduling.

Autoren: Li, Jinghua Huang, Wenhao Song, Dening et al.

Quelle: Journal of Construction Engineering & Management. Aug2025, Vol. 151 Issue 8, p1-14. 14p.

Schlagwörter: *LINEAR programming, *PARALLEL processing, CONSTRAINT programming, BUILDING sites, TALL buildings

Enhanced logic-based Benders decomposition methods for the distributed heterogeneous non-permutation flow shop scheduling problem.

Autoren: Xiong, Fuli Jing, Lin Xiong, Ningxin et al.

Quelle: International Journal of Production Research. Dec2025, Vol. 63 Issue 24, p10517-10554. 38p.

A Flexible Scheduling Framework for Repetitive Construction Projects Based on Constraint Programming.

Autoren: Cao, Qiangnan Zou, Xin Zhang, Lihui

Quelle: Journal of Construction Engineering & Management. Jul2025, Vol. 151 Issue 7, p1-14. 14p.

Schlagwörter: *SCHEDULING, *PLANNERS, *LOGIC, CONSTRAINT programming, CONSTRUCTION projects

Resource-constrained repetitive project scheduling with soft logic.

Autoren: Zou, Xin Rong, Zhuang

Quelle: Engineering Construction & Architectural Management (09699988). 2025, Vol. 32 Issue 4, p2397-2429. 33p.

Schlagwörter: *PRODUCTION scheduling, *SCHEDULING, *HOTEL renovation, *INDUSTRIAL efficiency, CONSTRAINT programming

Adding a Degree of Certainty to Deductions in a Fuzzy Temporal Constraint Prolog: FTCProlog.

Autoren: Cárdenas-Viedma, María-Antonia¹ (AUTHOR) mariancv@um.es

Quelle: Axioms (2075-1680). Jul2024, Vol. 13 Issue 7, p472. 33p.

Schlagwörter: *LOGIC programming, *APPROXIMATE reasoning, *CONSTRAINT programming, *PROGRAMMING languages, *TIME-varying networks

Block structured scheduling using constraint logic programming.

Autoren: Bădică, Amelia Bădică, Costin Ivanović, Mirjana

Quelle: AI Communications. 2020, Vol. 33 Issue 1, p41-57. 17p.

Schlagwörter: *CONSTRAINT programming, *LOGIC programming, *PROCESS optimization, *ORDER picking systems, *MATHEMATICAL models

Logic Programming for Linguistics: A short introduction to Prolog, and Logic Grammars with Constraints as an easy way to Syntax and Semantics

Autoren: Christiansen, Henning

Quelle: Triangle: llenguatge, literatura, computació; Núm. 1 (2010); 31-64

Schlagwörter: language, literature, computation

Dateibeschreibung: application/pdf

Relation: http://www.raco.cat/index.php/triangle/article/view/388957/482421

Zugangs-URL: http://www.raco.cat/index.php/triangle/article/view/388957

Domain-Independent Dynamic Programming and Constraint Programming Approaches for Assembly Line Balancing Problems with Setups.

Autoren: Zhang, Jiachen Beck, J. Christopher

Quelle: INFORMS Journal on Computing. Jul/Aug2025, Vol. 37 Issue 4, p977-997. 21p.

Schlagwörter: *DYNAMIC programming, *CONSTRAINT programming, *TIME, *DESIGN, *ASSEMBLY line balancing, *WORK design

Constraint programming have been identifying as promising technique for efficiently solving discrete optimization problem.

Autoren: PANDEY, AKASH GUPTA, UMESH KUMAR

Quelle: Journal of Ultra Scientist of Physical Sciences - Section A (Mathematics). 2023, Vol. 35 Issue 2, p12-21. 10p.

Schlagwörter: *LOGIC programming, *CONSTRAINT algorithms, *OPERATIONS research, *CONSTRAINT programming, *ALGORITHMS

Network Migration Problem: A Logic-based Benders Decomposition Approach Driven by Column Generation and Constraint Programming

Autoren: Daryalal, Maryam Pouya, Hamed

Index Begriffe: Mathematics - Optimization and Control, Computer Science - Networking and Internet Architecture, text

URL: http://arxiv.org/abs/2111.04536

Comparing Constraint Programming and Mathematical Programming Approaches to Discrete Optimisation-The Change Problem

Autoren: Heipcke, S.

Quelle: The Journal of the Operational Research Society, 1999 Jun 01. 50(6), 581-595.

Zugangs-URL: https://www.jstor.org/stable/3010615

Selective Unification in (Constraint) Logic Programming^*.

Autoren: Mesnard, Fred Payet, Étienne Vidal, Germán et al.

Quelle: Fundamenta Informaticae. 2020, Vol. 177 Issue 3/4, p359-383. 25p.

Schlagwörter: *OBJECT-oriented programming, *CONSTRAINT programming, *LOGIC programming, *ALGORITHMS

Logic-based Benders decomposition methods for the distributed permutation flow shop scheduling problem with production and transportation cost.

Autoren: Xiong, Fuli Shi, Jiangbo Jing, Lin et al.

Quelle: Computers & Operations Research. Jul2025, Vol. 179, pN.PAG-N.PAG. 1p.

Schlagwörter: *FLOW shop scheduling, *LINEAR programming, *PRODUCTION scheduling, CONSTRAINT programming, GREEDY algorithms

Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer Project

Autoren: Kazunori Ueda

Quelle: Lecture Notes in Computer Science ISBN: 9783319296036

Schlagwörter: 9. Industry and infrastructure, 4. Education, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 7. Clean energy

Zugangs-URL: https://waseda.pure.elsevier.com/en/publications/logicconstraint-programming-and-concurrency-the-hard-won-lessons--2
https://dblp.uni-trier.de/db/journals/scp/scp164.html#Ueda18
https://www.sciencedirect.com/science/article/pii/S0167642317301235
https://doi.org/10.1016/j.scico.2017.06.002
https://link.springer.com/chapter/10.1007/978-3-319-29604-3_1
https://link.springer.com/chapter/10.1007/978-3-319-29604-3_1/fulltext.html
https://dblp.uni-trier.de/db/conf/flops/flops2016.html#Ueda16
https://waseda.pure.elsevier.com/ja/publications/logicconstraint-programming-and-concurrency-the-hard-won-lessons-
https://rd.springer.com/chapter/10.1007/978-3-319-29604-3_1

Logic-based Benders decomposition with a partial assignment acceleration technique for avionics scheduling

Autoren: Karlsson, Emil Rönnberg, Elina

Quelle: Computers & Operations Research Instance dataset for a multiprocessor scheduling problem withmultiple time windows and time lags: Similar instances with largedifferences in difficulty. 146

Schlagwörter: Logic-based Benders decomposition, Acceleration technique, Cut strengthening, Mixed-integer programming, Constraint programming, Avionics scheduling

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-186585
https://liu.diva-portal.org/smash/get/diva2:1677948/FULLTEXT01.pdf

A Flexible Framework to Ensure Traceability, Consistency, and Propagation of KPIs Evolution.

Autoren: Domínguez, Eladio Pérez, Beatriz Rubio, Ángel L. et al.

Quelle: Journal of Software: Evolution & Process. Feb2025, Vol. 37 Issue 2, p1-20. 20p.

Schlagwörter: *CONSTRAINT programming, *SCIENTIFIC literature, *KEY performance indicators (Management), *LOGIC programming, *CONDITIONALS (Logic)

Weight prioritized slicing based on constraint logic programming for fault localization.

Autoren: Ren, Shengbing Zhou, Weijia Zhou, Haiwei et al.

Quelle: PLoS ONE. 4/10/2020, Vol. 15 Issue 4, p1-16. 16p.

Schlagwörter: *CONSTRAINT programming, *LOGIC programming, *ACCOUNTING methods

Generating Random Logic Programs Using Constraint Programming

Autoren: Dilkas, Paulius Belle, Vaishak

Index Begriffe: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, text

URL: http://arxiv.org/abs/2006.01889

Using Weighted Constraints to Diagnose Errors in Logic Programming--The Case of an Ill-Defined Domain

Autoren: Le, Nguyen-Thinh Menzel, Wolfgang

Quelle: International Journal of Artificial Intelligence in Education. 2009 19(4):381-400.

Peer Reviewed: Y

Page Count: 20

Descriptors: Intelligent Tutoring Systems, Logical Thinking, Programming, Models, Identification, Error Patterns, Students, Intention, Feedback (Response), Program Validation, Programming Languages, Semantics

Zugangs-URL: https://iospress.metapress.com/content/l7j8106n6q2t0816/?p=4747159763b74e1595e90a20a7f1d73c&pi=3