Sage Journals: Discover world-class research

Retricted access

Research article

First published 2011-2

Parallel QBF Solving with Advanced Knowledge Sharing

Matthew Lewis, Tobias Schubert, Bernd Becker [...]

Fundamenta Informaticae

Open access

Research article

First published 2010-5

PaMiraXT: Parallel SAT Solving with Threads and Message Passing

Tobias Schubert, Matthew Lewis, Bernd Becker

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 1991-10

Legislative Representation as Parallel-processing and Problem-Solving

G. R. Boynton, Chong Lim Kim

Journal of Theoretical Politics

Retricted access

Research article

First published 1996-6-1

A Parallel Algorithm for Solving Hard Tsume-Shogi Problems 1

Yasuichi Nakayama, Tadafumi Akazawa, Kohei Noshita

ICGA Journal: The Journal of the Computer Games Community

Retricted access

Other

First published 1989-03

Solving Tridiagonal Linear Systems On the Butterfly Parallel Computer

Swarn P. Kumar

The International Journal of High Performance Computing Applications

Open access

Research article

First published 2008-5

Parallel SAT Solving using Bit-level Operations 1

Marijn Heule, Hans van Maaren

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 1993-12

Massively Parallel Proximal Algorithms for Solving Linear Stochastic Network Programs

Soren S. Nielsen, Stavros A. Zenios

The International Journal of High Performance Computing Applications

Retricted access

Research article

First published 1998-08

Parallel Thinking: A Technique for Group Interaction and Problem Solving

Tim O. Peterson, Dale A. Lunsford

Journal of Management Education

Retricted access

Research article

First published 2019-12-23

Solving dynamic TSP by parallel and adaptive ant colony communities

Andrzej Siemiński, Marek Kopel

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2020-5

Parallelization of the solve phase in a task-based Cholesky solver using a sequential task flow model

Sébastien Cayrols, Iain S Duff, Florent Lopez

The International Journal of High Performance Computing Applications

Search results