- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Erscheinungsjahr an der Haupttitelstelle: 2004
Saarbrücken, Univ., Diss., 2005
- Schlagwort
-
Typinferenz ; Constraint-Programmierung ; Untertyp ; Constraint-Erfüllung
- Urheber
- URN
-
urn:nbn:de:bsz:291-scidok-12811
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:44 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
Ähnliche Objekte (12)
Generalized satisfiability problems
Extremal colorings and extremal satisfiability
Generalized satisfiability problems
Satisfiability problems in discrete geometry
Algorithms for the satisfiability problem
Satisfiability and optimization in periodic traffic flow problems
Satisfiability and model checking in team based logics
Satisfiability and Optimization in Periodic Traffic Flow Problems
Satisfiability problems
Satisfiability characterizations of upward planarity problems
Schnelle Algorithmen für das k-Satisfiability-Problem
Boolean Satisfiability: Theory and Engineering
Generalized satisfiability problems
Extremal colorings and extremal satisfiability
Generalized satisfiability problems
Satisfiability problems in discrete geometry
Algorithms for the satisfiability problem
Satisfiability and optimization in periodic traffic flow problems
Satisfiability and model checking in team based logics
Satisfiability and Optimization in Periodic Traffic Flow Problems
Satisfiability problems
Satisfiability characterizations of upward planarity problems
Schnelle Algorithmen für das k-Satisfiability-Problem
Boolean Satisfiability: Theory and Engineering
Generalized satisfiability problems
Extremal colorings and extremal satisfiability
Generalized satisfiability problems
Satisfiability problems in discrete geometry
Algorithms for the satisfiability problem
Satisfiability and optimization in periodic traffic flow problems
Satisfiability and model checking in team based logics
Satisfiability and Optimization in Periodic Traffic Flow Problems
Satisfiability problems
Satisfiability characterizations of upward planarity problems
Schnelle Algorithmen für das k-Satisfiability-Problem