Parallel propositional satisfiability checking with distributed dynamic learning

Author： Blochinger W. Sinz C. Kuchlin W.

Publisher： Elsevier

ISSN： 0167-8191

Source： Parallel Computing, Vol.29, Iss.7, 2003-07, pp. : 969-994

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

Parallel Satisfiability Test with Synchronous Simulated Annealing on Distributed-Memory Multiprocessor

By Sohn A.

Journal of Parallel and Distributed Computing, Vol. 36, Iss. 2, 1996-08 ,pp. : 195-204

Academic Press

Access to resources Recommend Favorite

Answer Set Programming Based on Propositional Satisfiability

By Giunchiglia Enrico Lierler Yuliya Maratea Marco

Journal of Automated Reasoning, Vol. 36, Iss. 4, 2006-04 ,pp. : 345-377

Springer Publishing Company

Access to resources Recommend Favorite

Parallel computation with dynamic load distribution for locally distributed Windows NT environments

By Srikanthan T. Chan K.Y. Leong S.K.

Journal of Microcomputer Applications, Vol. 18, Iss. 3, 1995-07 ,pp. : 193-201

Academic Press

Access to resources Recommend Favorite

Checking sequences for distributed test architectures

By Hierons R.

Distributed Computing, Vol. 21, Iss. 3, 2008-09 ,pp. : 223-238

Springer Publishing Company

Access to resources Recommend Favorite

Propositional default logics made easier: computational complexity of model checking

By Baumgartner R. Gottlob G.

Theoretical Computer Science, Vol. 289, Iss. 1, 2002-10 ,pp. : 591-627

Elsevier

Access to resources Recommend Favorite