Search Results - subject:"BOOLEAN SATISFIABILITY PROBLEM"

Flexible scheduling of diagnostic tests in automotive manufacturing

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

ПРОЦЕДУРЫ ПОСТРОЕНИЯ ДЕКОМПОЗИЦИОННЫХ МНОЖЕСТВ ДЛЯ РАСПРЕДЕЛЕННОГО РЕШЕНИЯ SAT-ЗАДАЧ В ПРОЕКТЕ ДОБРОВОЛЬНЫХ ВЫЧИСЛЕНИЙ SAT@HOME...

СЕРГЕЕВИЧ, ЗАИКИН ОЛЕГ; … - In: Управление большими … (2013) 3, pp. 138-156

В статье предложен новый подход к построению декомпози-ционных множеств, используемых для крупноблочного распа-раллеливания SAT-задач и их решения в...

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