Parallel propositional satisfiability checking with distributed dynamic learning-Reference-Cited by-同舟云学术

Parallel propositional satisfiability checking with distributed dynamic learning

Published:2003-07 Issue:7 Volume:29 Page:969-994
ISSN:0167-8191
Container-title:Parallel Computing
language:en
Short-container-title:Parallel Computing

Author:

Blochinger Wolfgang,Sinz Carsten,Küchlin Wolfgang

Publisher

Elsevier BV

Subject

Artificial Intelligence,Computer Graphics and Computer-Aided Design,Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science,Software

Reference36 articles.

1. DSM-PM2: a portable implementation platform for multithreaded dsm consistency protocols;Antoniu,2001

2. Programming languages for distributed computing systems;Bal;ACM Computing Surveys,1989

3. Symbolic model checking without BDDs;Biere,1999

4. Distributed high performance computing in heterogeneous environments with DOTS;Blochinger,2001

5. Dependable high performance computing on a Parallel Sysplex cluster;Blochinger,2000

Cited by 32 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Proof-Stitch: Proof Combination for Divide-and-Conquer SAT Solvers;Form Comp Aid Design;2022

2. Distributed Cube and Conquer with Paracooba;Theory and Applications of Satisfiability Testing – SAT 2020;2020

3. Cost-efficient parallel processing of irregularly structured problems in cloud computing environments;Cluster Computing;2018-12-06

4. A comprehensive study and analysis on SAT-solvers: advances, usages and achievements;Artificial Intelligence Review;2018-03-28

5. Parallel Satisfiability;Handbook of Parallel Constraint Reasoning;2018