Variational satisfiability solving: efficiently solving lots of related SAT problems von Young, Jeffrey M., Bittner, Paul Maximilian, Walkingshaw, Eric, Thüm, Thomas

Volltext

RaQuN: a generic and scalable n-way model matching algorithm von Schultheiß, Alexander, Bittner, Paul Maximilian, Boll, Alexander, Grunske, Lars, Thüm, Thomas, Kehrer, Timo

Volltext

Evaluating state-of-the-art # SAT solvers on industrial configuration spaces von Sundermann, Chico, Heß, Tobias, Nieke, Michael, Bittner, Paul Maximilian, Young, Jeffrey M., Thüm, Thomas, Schaefer, Ina

Volltext

On the Expressive Power of Languages for Static Variability von Bittner, Paul Maximilian, Schultheiß, Alexander, Moosherr, Benjamin, Young, Jeffrey M., Teixeira, Leopoldo, Walkingshaw, Eric, Ataei, Parisa, Thüm, Thomas

Volltext

SAT Encodings of the At-Most-k Constraint: A Case Study on Configuring University Courses von Bittner, Paul Maximilian, Thüm, Thomas, Schaefer, Ina

Volltext

Holding On, Loosely: Incentives for Employee Retention von Bittner, Paul L

Volltext

Replication Package: Give an Inch and Take a Mile? Effects of Adding Reliable Knowledge to Heuristic Feature Tracing von Greiner, Sandra, Schultheiß, Alexander, Bittner, Paul Maximilian, Thüm, Thomas, Kehrer, Timo

Volltext bestellen

Die Arbeitsfähigkeit in der digitalisierten Produktion – von den wissenschaftlichen Grundlagen zum integrativen Modell von Bittner, Paul, Samtleben, Stefanie

Volltext

Die Gestaltung der Arbeitsfähigkeit in der digitalisierten Produktion – die Entwicklung eines Maßnahmensets von Ulber, Martin, Bittner, Paul

Volltext

Die Messung der Arbeitsfähigkeit in der digitalisierten Produktion – eine Analyse und Bewertung bestehender Verfahren von Ulber, Martin, Bittner, Paul

Volltext

Nachhaltige Personalführung in der digitalisierten Industrie. Von der Theorie zur innovativen Methode von Bittner, Paul, Remmers, Frauke

Volltext

Depth Augmented Omnidirectional Stereo for 6-DoF VR Photography von Bertel, Tobias, Mühlhausen, Moritz, Kappel, Moritz, Bittner, Paul M., Richardt, Christian, Magnor, Marcus

Volltext bestellen

Die Arbeit in der digitalisierten Produktion – von der Analyse zum zukunftsorientierten Ansatz von Bittner, Paul, von Garrel, Jörg

Volltext

Improvements in or relating to distribution of utility von BITTNER PAUL, NAZZARI PAOLO, IRIARTE FABIEN, MCGINNIS KYLE STEWART REED, HOWARTH THOMAS JAMES, WILLIAMS RICHARD CHARLES, PHELAN JOSEPH LUKE

Volltext bestellen

Digitalisierung in der Produktion. Eine soziotechnische Analyse am Beispiel der Einführung und Umsetzung von Enterprise-Resource-Planning-Systemen von Stopper, Silke, von Garrel, Jörg, Bittner, Paul, Mühlfelder, Manfred

Volltext

AGENTS CONTAINING THE COMPOUND 3-TRIFLUOROMETHYL-4- NITROPHENOL von FRISCH, GERHARD, BITTNER, PAUL

Volltext bestellen

Novel agents containing the compound 3-trifluoromethyl-4-nitrophenol von BITTNER, PAUL, FRISCH, GERHARD

Volltext bestellen

Composition useful for controlling pests especially insects, comprises a heterocyclic acylsulf(ox)imide, gamma-butyrolactone and water von PATEL, SMITA, BITTNER, PAUL, AKYUEZ, ANKIN, HENRIET, MICHEL

Volltext bestellen

Fluid administration in severe sepsis and septic shock, patterns and outcomes: an analysis of a large national database von Marik, Paul E., Linde-Zwirble, Walter T., Bittner, Edward A., Sahatjian, Jennifer, Hansell, Douglas

Volltext

HILFSEINRICHTUNG FUER DEN BRIEFTAUBENSPORT von PAUL BITTNER

Volltext bestellen