Ewald Speckenmeyer - Veröffentlichungen allgemein

(1 - 10 von 11

)

Alle Infos zum Namen "Ewald Speckenmeyer"

A fast parallel SAT-solver — efficient workload balancing |...

link.springer.com

We present a fast parallel SAT-solver on a message based MIMD machine. The input formula is dynamically divided into disjoint subformulas. Small subformula

Parallele Datenverarbeitung mit dem Transputer | SpringerLink

link.springer.com

No description available for this conference proceedings

Exact satisfiability, a natural extension of set partition, and its ...link.springer.com › article

link.springer.com

Ewald Speckenmeyer. Present address: Mathematisches Institut/Abt, für Informatik, Heinrich-Heine UniversitätD-4000, Düsseldorf 1, Germany ...

Complexity Results for Linear XSAT-Problems | SpringerLinklink.springer.com › chapter

link.springer.com

Complexity Results for Linear XSAT-Problems. Authors; Authors and affiliations. Stefan Porschen; Tatjana Schmidt; Ewald Speckenmeyer. Stefan Porschen. 1.

Theory and Applications of Satisfiability Testing - SAT |...

link.springer.com

This book constitutes the refereed proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011, held in Ann...

Ein paralleler SAT-Solver auf Transputern | SpringerLink

link.springer.com

Authors; Authors and affiliations. Max Böhm; Ewald Speckenmeyer. Conference paper. 17 Downloads. Part of the Informatik aktuell book series (INFORMAT) ...

Exact satisfiability, a natural extension of set partition, and its...

link.springer.com

The problem of determining whether a Boolean formula in conjunctive normal form is satisfiable in such a way that in each clause exactly one literal is set...

Worst Case Bounds for Some NP-Complete Modified Horn ...link.springer.com › chapter

link.springer.com

Stefan Porschen; Ewald Speckenmeyer. Stefan Porschen. 1. Ewald Speckenmeyer Institut für InformatikUniversität zu KölnKölnGermany. Conference paper.

Parallele Dynamische Spielbaumauswertung auf Transputern |...

link.springer.com

Die Suche in Spielbäumen von „Zweipersonen Nullsummenspielen mit vollständiger Information“ wie z.B. Schach ist eine Aufgabe mit hohem Bedarf an...

Spezifikation einer Sprache zur Simulation von PRAM-Modellen und Ihre...

link.springer.com

A parallel programming language PRAM for the shared memory multiprocessor machine model including recursion, dynamic data structures, the concept of common and...

Verwandte Suchanfragen zu Ewald Speckenmeyer

Hans Kleine
Andreas Wotzlaw
Bert Randerath

Burkhard Monien
Stefan Szeider
Tatjana Schmidt

Manfred Loch
Volker Swyter

Personen
Vorname "Ewald" (5894)
Name "Speckenmeyer" (8)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Veröffentlichungen allgemein Ewald Speckenmeyer