Suchergebnisse - Speckenmeyer, Ewald

1

XSAT and NAE-SAT of linear CNF classes von Porschen, Stefan, Schmidt, Tatjana, Speckenmeyer, Ewald, Wotzlaw, Andreas

Veröffentlicht in Discrete Applied Mathematics

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Generalized k-ary tanglegrams on level graphs: A satisfiability-based approach and its evaluation von Wotzlaw, Andreas, Speckenmeyer, Ewald, Porschen, Stefan

Veröffentlicht in Discrete Applied Mathematics

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

A disjunctive program formulation to generate regular public transit timetables adhering to prioritized planning requirements von Lückerath, Daniel, Ullrich, Oliver, Rishe, Naphtali, Speckenmeyer, Ewald

Veröffentlicht in Networks

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Generalized -ary tanglegrams on level graphs: A satisfiability-based approach and its evaluation von Wotzlaw, Andreas, Speckenmeyer, Ewald, Porschen, Stefan

Veröffentlicht in Discrete Applied Mathematics

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Generalized kk-ary tanglegrams on level graphs: A satisfiability-based approach and its evaluation von Wotzlaw, Andreas, Speckenmeyer, Ewald, Porschen, Stefan

Veröffentlicht in Discrete Applied Mathematics

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Do regular timetables help to reduce delays in tram networks? It depends von Ullrich, Oliver, Lückerath, Daniel, Speckenmeyer, Ewald

Veröffentlicht in Public transport

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Satisfiability of mixed Horn formulas von Porschen, Stefan, Speckenmeyer, Ewald

Veröffentlicht in Discrete Applied Mathematics

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

On feedback problems in digraphs von Speckenmeyer, Ewald

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Linear CNF formulas and satisfiability von Porschen, Stefan, Speckenmeyer, Ewald, Zhao, Xishun

Veröffentlicht in Discrete Applied Mathematics

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

On enumerating all minimal solutions of feedback problems von SCHWIKOWSKI, Benno, SPECKENMEYER, Ewald

Veröffentlicht in Discrete Applied Mathematics

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

On feedback vertex sets and nonseparating independent sets in cubic graphs von Speckenmeyer, Ewald

Veröffentlicht in Journal of graph theory

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

Algorithms for Variable-Weighted 2-SAT and Dual Problems von Porschen, Stefan, Speckenmeyer, Ewald

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

On linear CNF formulas von PORSCHEN, Stefan, SPECKENMEYER, Ewald, RANDERATH, Bert

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

Complexity Results for Linear XSAT-Problems von Porschen, Stefan, Schmidt, Tatjana, Speckenmeyer, Ewald

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

Ramsey numbers and an approximation algorithm for the vertex cover problem von MONIEN, B, SPECKENMEYER, E

Veröffentlicht in Acta informatica

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

On the average case complexity of backtracking for the exact-satisfiability problem von Speckenmeyer, Ewald

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

A CNF Class Generalizing Exact Linear Formulas von Porschen, Stefan, Speckenmeyer, Ewald

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

A fast parallel SAT-solver — efficient workload balancing von Böhm, Max, Speckenmeyer, Ewald

Veröffentlicht in Annals of mathematics and artificial intelligence

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

Worst Case Bounds for Some NP-Complete Modified Horn-SAT Problems von Porschen, Stefan, Speckenmeyer, Ewald

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

Exact 3-satisfiability is decidable in time O(20.16254n ) von Porschen, Stefan, Randerath, Bert, Speckenmeyer, Ewald

Veröffentlicht in Annals of mathematics and artificial intelligence

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:

XSAT and NAE-SAT of linear CNF classes von Porschen, Stefan, Schmidt, Tatjana, Speckenmeyer, Ewald, Wotzlaw, Andreas

Generalized k-ary tanglegrams on level graphs: A satisfiability-based approach and its evaluation von Wotzlaw, Andreas, Speckenmeyer, Ewald, Porschen, Stefan

A disjunctive program formulation to generate regular public transit timetables adhering to prioritized planning requirements von Lückerath, Daniel, Ullrich, Oliver, Rishe, Naphtali, Speckenmeyer, Ewald

Generalized -ary tanglegrams on level graphs: A satisfiability-based approach and its evaluation von Wotzlaw, Andreas, Speckenmeyer, Ewald, Porschen, Stefan

Generalized kk-ary tanglegrams on level graphs: A satisfiability-based approach and its evaluation von Wotzlaw, Andreas, Speckenmeyer, Ewald, Porschen, Stefan

Do regular timetables help to reduce delays in tram networks? It depends von Ullrich, Oliver, Lückerath, Daniel, Speckenmeyer, Ewald

Satisfiability of mixed Horn formulas von Porschen, Stefan, Speckenmeyer, Ewald

On feedback problems in digraphs von Speckenmeyer, Ewald

Linear CNF formulas and satisfiability von Porschen, Stefan, Speckenmeyer, Ewald, Zhao, Xishun

On enumerating all minimal solutions of feedback problems von SCHWIKOWSKI, Benno, SPECKENMEYER, Ewald

On feedback vertex sets and nonseparating independent sets in cubic graphs von Speckenmeyer, Ewald

Algorithms for Variable-Weighted 2-SAT and Dual Problems von Porschen, Stefan, Speckenmeyer, Ewald

On linear CNF formulas von PORSCHEN, Stefan, SPECKENMEYER, Ewald, RANDERATH, Bert

Complexity Results for Linear XSAT-Problems von Porschen, Stefan, Schmidt, Tatjana, Speckenmeyer, Ewald

Ramsey numbers and an approximation algorithm for the vertex cover problem von MONIEN, B, SPECKENMEYER, E

On the average case complexity of backtracking for the exact-satisfiability problem von Speckenmeyer, Ewald

A CNF Class Generalizing Exact Linear Formulas von Porschen, Stefan, Speckenmeyer, Ewald

A fast parallel SAT-solver — efficient workload balancing von Böhm, Max, Speckenmeyer, Ewald

Worst Case Bounds for Some NP-Complete Modified Horn-SAT Problems von Porschen, Stefan, Speckenmeyer, Ewald

Exact 3-satisfiability is decidable in time O(20.16254n ) von Porschen, Stefan, Randerath, Bert, Speckenmeyer, Ewald

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle