ASP modulo CSP : the clingcon system

to connected objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
Extent
Online-Ressource
Language
Englisch

Bibliographic citation
In: Theory and Practice of Logic Programming 12 (2012) 4–5, pp. 485–503 DOI 10.1017/S1471068412000142
Postprints der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe ; 579

Event
Veröffentlichung
(where)
Potsdam
(who)
Universität Potsdam
(when)
2019
Creator
Ostrowski, Max
Schaub, Torsten

URN
urn:nbn:de:kobv:517-opus4-413908
Rights
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
25.03.2025, 1:51 PM CET

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Show original at data provider

Associated

  • Ostrowski, Max
  • Schaub, Torsten
  • Universität Potsdam

Time of origin

  • 2019

Other Objects (12)

Multi-threaded ASP solving with clasp

Multi-threaded ASP solving with clasp

Automatic network reconstruction using ASP

Automatic network reconstruction using ASP

Minimal intervention strategies in logical signaling networks with ASP

Minimal intervention strategies in logical signaling networks with ASP

The German Banking System

The German Banking System

Ressourcenpartitionierung für Grid-Systeme

Ressourcenpartitionierung für Grid-Systeme

Banking System in Russia

Banking System in Russia

The Dutch school system

The Dutch school system

Modellierung der Lebensdauer von Systemen

Modellierung der Lebensdauer von Systemen

Anhang : Entwurf der Studienordnung Nebenfach Magister-Studium (M.A.)

Artikel

Anhang : Entwurf der Studienordnung Nebenfach Magister-Studium (M.A.)

Über die Autoren

Über die Autoren

Über die Autoren

Über die Autoren

Waite & Kennedy ./. Deutschland : Urteil vom 18. November 1999

Waite & Kennedy ./. Deutschland : Urteil vom 18. November 1999

Related objects