Search results: Sage Journals

Available accessResearch articleFirst published July 18, 2022

Boosting branch-and-bound MaxSAT solvers with clause learning

Chu-Min Li, Zhenxing Xu, Jordi Coll [...]

The European Journal on Artificial Intelligence

Retricted accessResearch articleFirst published June, 1990

Anatoly Zhigljavsky

Informatica: An International Journal of Computing and Informatics

Open accessResearch articleFirst published June, 2014

André Abramé, Djamal Habet

Journal on Satisfiability,Boolean Modelling and Computation

Retricted accessResearch articleFirst published March, 1995

HONGBO WANG

Production and Operations Management

Retricted accessResearch articleFirst published June, 2001

Paul Horton

Journal of Computational Biology

Retricted accessResearch articleFirst published December, 1993

MELTEM DENIZEL‐SIVRI, S. SELCUK ERENGUC

Production and Operations Management

Retricted accessResearch articleFirst published 2006

Carlo Giacomo Prato, Shlomo Bekhor

Transportation Research Record: Journal of the Transportation Research Board

Retricted accessResearch articleFirst published August, 1973

D E Boyce, A Farhi, R Weischedel

Environment and Planning A: Economy and Space

Available accessResearch articleFirst published June, 2016

Yichao Zhou, Yuexin Wu, Jianyang Zeng

Journal of Computational Biology

Retricted accessResearch articleFirst published May, 2014

DJ Fisk

Building Services Engineering Research & Technology