Automated Inference of Finite Unsatisfiability

ISSN： 0168-7433

Source： Journal of Automated Reasoning, Vol.47, Iss.2, 2011-08, pp. : 111-132

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

A Threshold for Unsatisfiability

By Goerdt A.

Journal of Computer and System Sciences, Vol. 53, Iss. 3, 1996-12 ,pp. : 469-486

Academic Press

Access to resources Recommend Favorite

Haptic rehabilitation exercises performance evaluation using automated inference systems

By Barghout Ahmad Alamri Atif Eid Mohamad Saddik Abdulmotaleb El

International Journal of Advanced Media and Communication, Vol. 3, Iss. 1-2, 2009-06 ,pp. : 197-214

Inderscience Publishers

Access to resources Recommend Favorite

The processes of inference

By Khemlani Sangeet

Argument & Computation, Vol. 4, Iss. 1, 2013-03 ,pp. : 4-20

Taylor & Francis Ltd

Access to resources Recommend Favorite

Inference for the Generalization Error

By Nadeau C.

Machine Learning, Vol. 52, Iss. 3, 2003-09 ,pp. : 239-281

Springer Publishing Company

Access to resources Recommend Favorite

An emergent approach to analogical inference

By Thibodeau Paul H. Flusberg Stephen J. Glick Jeremy J. Sternberg Daniel A.

Connection Science, Vol. 25, Iss. 1, 2013-03 ,pp. : 27-53

Taylor & Francis Ltd

Access to resources Recommend Favorite