Period of time: 2014年1期
Publisher: Springer Publishing Company
Founded in: 1985
Total resources: 33
ISSN: 0168-7433
Subject: TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Journal of Automated Reasoning,volume 34,issue 1
Menu
An Effective Algorithm for the Futile Questioning Problem
By Remshagen Anja,Truemper Klaus in (2005)
Journal of Automated Reasoning,volume 34,issue 1 , Vol. 34, Iss. 1, 2005-01 , pp.A Tableau-Based Decision Procedure for a Fragment of Set Theory with Iterated Membership
By Cantone Domenico,Zarba Calogero,Cannata Rosa in (2005)
Journal of Automated Reasoning,volume 34,issue 1 , Vol. 34, Iss. 1, 2005-01 , pp.A Parallelization Scheme Based on Work Stealing for a Class of SAT Solvers
By Jurkowiak Bernard,Li Chu,Utard Gil in (2005)
Journal of Automated Reasoning,volume 34,issue 1 , Vol. 34, Iss. 1, 2005-01 , pp.