Search Results - subject:"Boolean satisfiability"

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

Improved computational approaches and heuristics for zero forcing

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

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

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

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

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