„Antwortmengenprogrammierung“

Suchergebnisse

6 Treffer

• Advanced tools and methods for treewidth-based problem solving
  Hecher, Markus ; Woltran, Stefan ; Schaub, Torsten ; Truszczynski, Mirosław ; Vollmer, Heribert 2021 Universität Potsdam
• Automated Theorem Proving for General Game Playing
  Haufe, Sebastian ; Thielscher, Michael ; Schaub, Torsten 2012 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Beitrag zur Antwortmengenprogrammierung in der Hybriden Produktion
  Kaiser, Pascal ; Ten Hompel, Michael 2025 Verlag Praxiswissen
• Modern constraint answer set solving
  Ostrowski, Max ; Schaub, Torsten 2018 Universität Potsdam
• Beitrag zur Antwortmengenprogrammierung in der Intralogistik
  Schieweck, Steffen ; Ten Hompel, Michael 2020 Verlag Praxiswissen
• Automated theorem proving for general game playing
  Haufe, Sebastian