Ewald Speckenmeyer und Heusch - Info zur Person

(1 - 8 von 8

)

Satisfiability Problem: Theory and Applications : DIMACS ...books.google.dk › books

books.google.dk

1, D Koln and Theoretical Computer Science Volume 35, On the Use 676 EWALD SPECKENMEYER, MAX BOHM, AND PETER HEUSCH.

Satisfiability Problem: Theory and Applications : DIMACS Workshop,...

books.google.ch

Ewald Speckenmeyer, Max Bohm. and Peter Heusch ABSTRACT. Let F be Boolean formulas in conjunctive normal form with n variables, r clauses, every clause ...

CATS-computer Aided Tram Scheduling - Peter Heusch, Frank Meisgen,...

books.google.de

CATS-computer Aided Tram Scheduling. Front Cover. Peter Heusch, Frank Meisgen, Ewald Speckenmeyer. Univ., pages.

Improving a fixed parameter tractability time bound for the shadow...

www.sciencedirect.com

Improving a fixed parameter tractability time bound for the shadow problem. Author links open overlay panelPeterHeusch StefanPorschen Ewald Speckenmeyer.

AMS :: Search AMS eContent

www.ams.org

[91] Ewald Speckenmeyer, Max Bohm and Peter Heusch. On the imbalance of distributions of solutions of CNF formulas and its impact on ...

1

www.nzdl.org

Ewald Speckenmeyer To appear in: Proceedings of SOR'97. Peter Heusch Frank Meisgen Ewald Speckenmeyer Institut f?ur Informatik Universit?at zu K?

SAT Workshop, Siena - SAT Associationsatassociation.org › SAT96 › sat-workshop-schedule

satassociation.org

, Opening Address Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino · , Peter Heusch, Marc-Andre Lemburg, Ewald Speckenmeyer

NA Digest, V. 98, # 02

netlib.org

Ewald Speckenmeyer, Max Böhm, and Peter Heusch -- On the imbalance of distributions of solutions of CNF-formulas and its impact on satisfiability solvers

Alle Infos zum Namen "Ewald Speckenmeyer"

Verwandte Suchanfragen zu Ewald Speckenmeyer

Hans Kleine
Andreas Wotzlaw
Bert Randerath

Burkhard Monien
Stefan Szeider
Tatjana Schmidt

Volker Swyter
Manfred Loch

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

Ewald Speckenmeyer und Heusch Person-Info