Search results: Sage Journals

Restricted accessResearch articleFirst published December, 2008

Some disturbing facts about depth-first left-most variable ordering heuristics for binary decision diagrams

A B Rauzy

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Restricted accessResearch articleFirst published May, 2012

Tenda Okimoto, Atsushi Iwasaki, Makoto Yokoo

Multiagent and Grid Systems

Restricted accessResearch articleFirst published December, 2017

Zhusheng Pan, Liudong Xing, Yuchang Mo [...]

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Restricted accessResearch articleFirst published August, 2010

Thanasis Balafoutis, Kostas Stergiou

Fundamenta Informaticae

Restricted accessResearch articleFirst published December, 2009

C Ibáñez-Llano, A Rauzy, E Meléndez [...]

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Open accessResearch articleFirst published August, 2006

Christophe Lecoutre, Lakhdar Saïs, Julien Vion

Journal on Satisfiability,Boolean Modelling and Computation

Restricted accessResearch articleFirst published March, 2008

C Ibáñez-Llano, E Meléndez, Nieto F

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Restricted accessEditorialFirst published August, 1995

Bruce Thompson

Educational and Psychological Measurement

Restricted accessResearch articleFirst published April, 1988

Silvia Gherardi, Antonio Strati

Organization Studies

Restricted accessResearch articleFirst published November, 2009

Keith Purrington, Edmund H. Durfee

Multiagent and Grid Systems