Items where Year is 2012

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 14.

Article

Wotzlaw, Andreas and Speckenmeyer, Ewald and Porschen, Stefan (2012) Generalized k-ary tanglegrams on level graphs: a satisfiability-based approach and its evaluation.
Published in: Discrete Applied Mathematics Vol. 160 (16-17). pp. 2349-2363.

Kuckertz, Patrick and Ullrich, Oliver and Randerath, Hubert (2012) A simulation based approach on robust airline job pairing.
Published in: Simulation Notes Europe Vol. 22 (2). pp. 77-82. ISSN 2305-9974

Ullrich, Oliver and Lückerath, Daniel and Franz, Sebastian and Speckenmeyer, Ewald (2012) Simulation and optimization of Cologne's tram schedule.
Published in: Simulation Notes Europe Vol. 22 (2). pp. 69-76. ISSN 2305-9974

Lückerath, Daniel and Ullrich, Oliver and Speckenmeyer, Ewald (2012) Modeling time table based tram traffic.
Published in: Simulation Notes Europe Vol. 22 (2). pp. 61-68. ISSN 2305-9974

Schaudt, Oliver (2012) On weighted efficient total domination.
Published in: Journal of Discrete Algorithms Vol. 10 (1). pp. 61-69.

Liers, Frauke and Pardella, Gregor (2012) Partitioning planar graphs: a fast combinatorial approach for max-cut.
Published in: Computational Optimization and Applications. pp. 323-344.

Proceedings article

Álvarez-Miranda, Eduardo and Cacchiani, Valentina and Dorneth, Tim and Jünger, Michael and Liers, Frauke and Lodi, Andrea and Parriani, Tiziano and Schmidt, Daniel R. (2012) Models and Algorithms for Robust Network Design with Several Traffic Scenarios.
Published In: Combinatorial Optimization : Second International Symposium, ISCO 2012, Athens, Greece, April 19-21, 2012, Revised Selected Papers, Lecture notes in computer science. 7422 Springer-Verlag 2012, pp. 261-272.

van der Grinten, Alexander and Wotzlaw, Andreas and Speckenmeyer, Ewald and Porschen, Stefan (2012) satUZK: Solver Description.
Published In: Proceedings of SAT Challenge 2012; Solver and Benchmark Descriptions, Department of Computer Science Series of Publications B. 2012-2 University of Helsinki 2012, pp. 54-55.

Wotzlaw, Andreas and van der Grinten, Alexander and Speckenmeyer, Ewald and Porschen, Stefan (2012) pfolioUZK: Solver Description.
Published In: Proceedings of SAT Challenge 2012; Solver and Benchmark Descriptions, Department of Computer Science Series of Publications B. 2012-2 University of Helsinki 2012, p. 45.

Groß, Martin and Kappmeier, Jan-Philipp W. and Schmidt, Daniel R. and Schmidt, Melanie (2012) Approximating Earliest Arrival Flows in Arbitrary Networks.
Published In: Algorithms – ESA 2012, Lecture Notes in Computer Science. 7501 Springer 2012, pp. 551-562.

Lückerath, Daniel (2012) Thoughts on restauration of regular tram operation.
Published In: Proceedings of Sommertreffen Verkehrssimulation 2012, ASIM-Mitteilungen. AM 145 ARGESIM/ASIM Pub., TU Vienna/Austria. Ullrich, O.; Lückerath, D.(Ed.) August 2012, pp. 5-7.

Other

Wotzlaw, Andreas and Speckenmeyer, Ewald and Porschen, Stefan (2012) A Satisfiability-based Approach for Generalized Tanglegrams on Level Graphs. , Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH. (Unpublished)

Paper

Wotzlaw, Andreas and Speckenmeyer, Ewald and Porschen, Stefan (2012) Probabilistic Analysis of Random Mixed Horn Formulas.
Technical Report , 9 p.

Proceedings

Ullrich, Oliver and Lückerath, Daniel (2012) Sommertreffen Verkehrssimulation 2012. [Proceedings]

This list was generated on Mon Sep 25 04:01:58 2017 CEST.