Search results: Sage Journals

Open accessResearch articleFirst published November, 2011

Controlling a Solver Execution with the runsolver Tool

Olivier Roussel

Journal on Satisfiability,Boolean Modelling and Computation

Retricted accessResearch articleFirst published May, 2023

Yang Zhao, Linhe Ge, Shouren Zhong [...]

Proceedings of the Institution of Mechanical Engineers,Part D: Journal of Automobile Engineering

Retricted accessResearch articleFirst published August, 2018

Shu-Lin Wu, Ting-Zhu Huang

Journal of Vibration and Control

Retricted accessResearch articleFirst published September, 2017

J. E. Everett

Applied Earth Science: Transactions of the Institutions of Mining and Metallurgy

Retricted accessResearch articleFirst published March, 2023

Hmaied Hmida, Sami Hafsi, Faouzi Bouani

Transactions of the Institute of Measurement and Control

Open accessResearch articleFirst published February, 2009

Sergio Nocco, Stefano Quer

Journal on Satisfiability,Boolean Modelling and Computation

Open accessResearch articleFirst published May, 2010

Antti E.J. Hyvärinen, Tommi Junttila, Ilkka Niemelä

Journal on Satisfiability,Boolean Modelling and Computation

Retricted accessResearch articleFirst published August, 2020

Marius Franze

Proceedings of the Institution of Mechanical Engineers,Part G: Journal of Aerospace Engineering

Retricted accessResearch articleFirst published April, 2023

Marcus Hoerger, Hanna Kurniawati, Alberto Elfes

The International Journal of Robotics Research

Free accessResearch articleFirst published December, 2015

M. Milanez, G. F. Naterer, N. Popplewell [...]

The Journal of Computational Multiphase Flows