Search results: Sage Journals

Restricted accessResearch articleFirst published September, 2015

Improving IntSat by expressing disjunctions of bounds as linear constraints

Roberto Asín, Marc Bezem, Robert Nieuwenhuis

The European Journal on Artificial Intelligence

Restricted accessResearch articleFirst published October 23, 2015

Xiao-Peng Yang, Bing-Yuan Cao, Xue-Gang Zhou

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Restricted accessResearch articleFirst published May, 2019

Keke Shi, Chuang Liu, Zhaowei Sun [...]

Transactions of the Institute of Measurement and Control

Restricted accessResearch articleFirst published February, 2013

Iain D Currie

Statistical Modelling

Restricted accessResearch articleFirst published 2019

Hadi Behrouz, Iman Mohammadzaman, Ali Mohammadi

Transactions of the Institute of Measurement and Control

Restricted accessResearch articleFirst published May, 2024

HaiMing Quan, ShengChao Zhen, XiaoLi Liu [...]

Proceedings of the Institution of Mechanical Engineers,Part C: Journal of Mechanical Engineering Science

Open accessResearch articleFirst published March, 2026

Tong-Yi Wang, Shi-Fa Gu, Jin-Yong Xiao [...]

Advances in Mechanical Engineering

Restricted accessResearch articleFirst published April, 2016

Ya Li Ma, Shu Dong Yu, De Lun Wang

Journal of Vibration and Control

Restricted accessResearch articleFirst published October, 2006

Bernet S Kato, Herbert Hoijtink

Statistical Modelling

Restricted accessResearch articleFirst published April, 2005

Sergey B. Karavashkin, Olga N. Karavashkina

International Journal of Mechanical Engineering Education