Search Results - subject:"Satisfiability"

Coelho, José; Vanhoucke, Mario - In: Computers & operations research : an international journal 186 (2026), pp. 1-23

Persistent link: https://www.econbiz.de/10015552431

Croella, Anna Livia; Luteberget, Bjørnar; Mannino, Carlo; … - In: Computers & operations research : an international journal 167 (2024), pp. 1-14

Persistent link: https://www.econbiz.de/10014566861

Alway, Alyaa; Nur Ezlin Zamri; Mohd. Asyraf Mansor; … - 2023

paper employs satisfiability logic to represent the attributes of a dataset in the DHNN. This logic representation enables …

Persistent link: https://www.econbiz.de/10014533145

König, Simone; Reihn, Maximilian; Abujamra, Felipe Gelinski - In: Flexible Services and Manufacturing Journal 35 (2022) 2, pp. 320-342

built on a Boolean satisfiability problem on parallel and identical machines with temporal and resource constraints. The …

Persistent link: https://www.econbiz.de/10015328790

Servranckx, Tom; Coelho, José; Vanhoucke, Mario - In: European journal of operational research : EJOR 316 (2024) 3, pp. 815-827

Persistent link: https://www.econbiz.de/10014576735

Li, Mingdong; Lou, Shanhe; Gao, Yicong; Zheng, Hao; Hu, … - In: International journal of production research 61 (2023) 17, pp. 5822-5841

Persistent link: https://www.econbiz.de/10014382643

Zhou, Yupeng; Liu, Minghao; Ma, Feifei; Luo, Na; Yin, … - In: Journal of the Operational Research Society 73 (2022) 8, pp. 1682-1691

Persistent link: https://www.econbiz.de/10013373050

Azevedo, Guilherme Henrique Ismael de; Pessoa, Artur; … - In: European journal of operational research : EJOR 289 (2021) 3, pp. 809-824

Persistent link: https://www.econbiz.de/10012433083

Brimkov, Boris; Mikesell, Derek; Hicks, Illya V. - In: INFORMS journal on computing : JOC 33 (2021) 4, pp. 1384-1399

Persistent link: https://www.econbiz.de/10012796864

Großmann, Peter - 2016

Persistent link: https://www.econbiz.de/10012427425

A service of the

FAQ-Assistent (beta)