Search Results - "KEY WORDS Parallel/Distributed Algorithms"

Distributed Parallel SAT Checking with Dynamic Learning using DOTS

Authors: Wolfgang Blochinger Carsten Sinz The Pennsylvania State University CiteSeerX Archives

Contributors: Wolfgang Blochinger Carsten Sinz The Pennsylvania State University CiteSeerX Archives

Source: http://www.carstensinz.de/papers/PDCS-2001.pdf.

Subject Terms: KEY WORDS Parallel/Distributed Algorithms, Parallel/Distributed Com- puting Systems, Performance Evaluation and Measure- ments, Parallel SAT Checking

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.494.2861

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.494.2861
http://www.carstensinz.de/papers/PDCS-2001.pdf