Predicting and Detecting Symmetries in FOL Finite Model Search

Author： Audemard Gilles Benhamou Belaïd Henocque Laurent

ISSN： 0168-7433

Source： Journal of Automated Reasoning, Vol.36, Iss.3, 2006-04, pp. : 177-212

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

Detecting Planar and Curved Symmetries of 3D Shapes from a Range Image

By Sato Y. Tamura S.

Computer Vision and Image Understanding, Vol. 64, Iss. 1, 1996-07 ,pp. : 175-187

Academic Press

Access to resources Recommend Favorite

Detecting and predicting privacy violations in online social networks

By Kafalı Özgür Günay Akın Yolum Pınar

Distributed and Parallel Databases, Vol. 32, Iss. 1, 2014-03 ,pp. : 161-190

Springer Publishing Company

Access to resources Recommend Favorite

A Novel Anti-Obfuscation Model for Detecting Malicious Code

International Journal of Open Source Software and Processes (IJOSSP), Vol. 8, Iss. 2, 2017-04 ,pp. : 25-43

IGI Global_journal

Access to resources Recommend Favorite

A branding model for web search engines

By Zhang Lu

International Journal of Internet Marketing and Advertising, Vol. 7, Iss. 3, 2012-06 ,pp. : 195-216

Inderscience Publishers

Access to resources Recommend Favorite

Sample Complexity of Model-Based Search

By Rosin C.D.

Journal of Computer and System Sciences, Vol. 60, Iss. 2, 2000-04 ,pp. : 278-301

Academic Press

Access to resources Recommend Favorite