Self-reconfiguration of manufacturing systems using Satisfiability Modulo Theory

Authors

Douha Macherki
Jean‐Yves Choley (ORCID: https://orcid.org/0000-0002-9960-6808)
Thierno Diallo (ORCID: https://orcid.org/0000-0001-9020-1647)
Mohamed Haddar (ORCID: https://orcid.org/0000-0002-0467-2846)
Maher Barkallah

Institutions

École Nationale de la Météorologie (FR)
Institut Supérieur de Mécanique de Paris (FR)

Publication Details

Journal: International Journal of Production Research
Published: 2025-09-25
DOI: https://doi.org/10.1080/00207543.2025.2561190
Citations: 1
Primary Topic: Flexible and Reconfigurable Manufacturing Systems
Type: article
Field-Weighted Citation Impact: 1.24

Controls

|||

ALL TIME

JAN

FEB

MAR

APR

MAY

JUN

JUL

AUG

SEP

OCT

article

Self-reconfiguration of manufacturing systems using Satisfiability Modulo Theory

Douha Macherki, Jean‐Yves Choley, Thierno Diallo, Mohamed Haddar et al.

Sep 25, 2025

1 citations

International Journal of Production Research

Flexible and Reconfigurable Manufacturing Systems

1.24

article

Self-reconfiguration of manufacturing systems using Satisfiability Modulo Theory

Douha Macherki, Jean‐Yves Choley, Thierno Diallo, Mohamed Haddar, Maher Barkallah

September 25, 2025article en

1 citations

Abstract

No abstract available for this paper.

International Journal of Production ResearchVol. 64(3)

École Nationale de la Météorologie (FR), Institut Supérieur de Mécanique de Paris (FR)

Openalex Percentile: Top 15%

Flexible and Reconfigurable Manufacturing Systems

1.24

DOI Source OpenAlex

AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Self-reconfiguration of manufacturing systems using Satisfiability Modulo Theory — Douha Macherki, Jean‐Yves Choley, et al. · International Journal of Production Research (2025) | TGRS Research Map | TGRS