Informatik (15 757 Artikel)

Invited Talks.- Opt Art.- Planning for Mixed Discrete Continuous Domains.- Duality in Optimization and Constraint Satisfaction.- Technical Papers.- A Totally Unimodular Description of the Consisten...

The 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2008) was held in Paris, France May 20-23, 2008. Th...

4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007, Proceedings

This book constitutes the refereed proceedings of the 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2...

9th International Conference, CPAIOR 2012, Nantes, France, May 28 - June 1, 2012, Proceedings

Invited Paper.- Using MILP and CP for the Scheduling of Batch Chemical Processes.- Technical Papers.- SIMPL: A System for Integrating Optimization Techniques.- A New Exact Solution Algorithm for th...

Integration of CAD/CAPP/CAM

15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018, Proceedings

This volume LNCS 12735 constitutes the papers of the 18th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2021, which...

This book constitutes the proceedings of the 19th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2022, which was hel...

The content of the papers present new techniques or new applications, and provide an opportunity for researchers in one area to learn about techniques in the others. Besides they give researchers t...

21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part I

21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part II

I: Ergebnisse der Forschergruppe SUKITS für Entwicklungsprozesse in der Fertigungstechnik.- 1 Die Integrationsproblematik und der SUKITS-Ansatz.- 2 Methodische Unterstützung der Produktentwicklung....

Dr. Gernot Dern promovierte an der Universität Duisburg-Essen bei Prof. Dr. Reinhard Jung, Inhaber des Lehrstuhls Business Engineering an der Universität St. Gallen. Er verfügt über langjährige Erf...