E-LIB Suche - Ergebnisse für: Speckenmeyer, Ewald

1

Ein personen- und aufgabengenauer Ansatz zur robusten Einsa..:

Kuckertz, Patrick , 2018

Link: http://nbn-resolving.de/..

2

A disjunctive program formulation to generate regular publi..:

Lückerath, Daniel ; Ullrich, Oliver ; Rishe, Naphtali.
Networks. 72 (2018) 2 - p. 217-237 , 2018

Link: https://doi.org/10.1002/..

3

Do regular timetables help to reduce delays in tram network..:

Ullrich, Oliver ; Lückerath, Daniel ; Speckenmeyer, Ewald
Public Transport. 8 (2015) 1 - p. 39-56 , 2015

Link: https://doi.org/10.1007/..

4

XSAT and NAE-SAT of linear CNF classes:

Porschen, Stefan ; Schmidt, Tatjana ; Speckenmeyer, Ewald.
Discrete Applied Mathematics. 167 (2014) - p. 1-14 , 2014

Link: https://doi.org/10.1016/..

5

Generalized k-ary tanglegrams on level graphs: A satisfiabi..:

Wotzlaw, Andreas ; Speckenmeyer, Ewald ; Porschen, Stefan
Discrete Applied Mathematics. 160 (2012) 16-17 - p. 2349-2363 , 2012

Link: https://doi.org/10.1016/..

6

Linear CNF formulas and satisfiability:

Porschen, Stefan ; Speckenmeyer, Ewald ; Zhao, Xishun
Discrete Applied Mathematics. 157 (2009) 5 - p. 1046-1068 , 2009

Link: https://doi.org/10.1016/..

7

Whose side are you on?1: Finding solutions in a biased sear..:

Heule, Marijn J.H. ; van Maaren, Hans ; Speckenmeyer, Ewald...
Journal on Satisfiability, Boolean Modeling and Computation. 4 (2008) 2-4 - p. 117-148 , 2008

Link: https://doi.org/10.3233/..

8

Solving Weighted Max-SAT Problems in a Reduced Search Space..:

Pipatsrisawat, Knot ; Palyan, Akop ; Chavira, Mark...
Journal on Satisfiability, Boolean Modeling and Computation. 4 (2008) 2-4 - p. 191-217 , 2008

Link: https://doi.org/10.3233/..

9

Guest Editors Conclusion:

Speckenmeyer, Ewald ; Tacchella, Armando ; Manquinho, Vasco...
Journal on Satisfiability, Boolean Modeling and Computation. 4 (2008) 2-4 - p. 279-280 , 2008

Link: https://doi.org/10.3233/..

10

A Switching Criterion for Intensification and Diversificati..:

Wei, Wanxia ; Li, Chu Min ; Zhang, Harry...
Journal on Satisfiability, Boolean Modeling and Computation. 4 (2008) 2-4 - p. 219-237 , 2008

Link: https://doi.org/10.3233/..

11

2006 and 2007 Max-SAT Evaluations: Contributed Instances:

Heras, Federico ; Larrosa, Javier ; de Givry, Simon...
Journal on Satisfiability, Boolean Modeling and Computation. 4 (2008) 2-4 - p. 239-250 , 2008

Link: https://doi.org/10.3233/..

12

tts: A SAT-Solver for Small, Difficult Instances:

Spence, Ivor ; Speckenmeyer, Ewald ; Li, Chu Min..
Journal on Satisfiability, Boolean Modeling and Computation. 4 (2008) 2-4 - p. 173-190 , 2008

Link: https://doi.org/10.3233/..

13

PicoSAT Essentials:

Biere, Armin ; Speckenmeyer, Ewald ; Li, Chu Min..
Journal on Satisfiability, Boolean Modeling and Computation. 4 (2008) 2-4 - p. 75-97 , 2008

Link: https://doi.org/10.3233/..

14

The First and Second Max-SAT Evaluations:

Argelich, Josep ; Li, Chu-Min ; Manyà, Felip...
Journal on Satisfiability, Boolean Modeling and Computation. 4 (2008) 2-4 - p. 251-278 , 2008

Link: https://doi.org/10.3233/..

15

Parallel SAT Solving using Bit-level Operations1:

Heule, Marijn ; van Maaren, Hans ; Speckenmeyer, Ewald...
Journal on Satisfiability, Boolean Modeling and Computation. 4 (2008) 2-4 - p. 99-116 , 2008

Link: https://doi.org/10.3233/..