- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
20 S.
- Language
-
Deutsch
- Event
-
Veröffentlichung
- (where)
-
Saarbrücken
- (who)
-
MPI Informatik
- (when)
-
1991
- Creator
-
Bockmayr, Alexander
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:25 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Bockmayr, Alexander
- MPI Informatik
Time of origin
- 1991
Other Objects (12)
Pseudo-Boolean : Programming and applications
Pseudo-Boolean Optimization
Disjunctive logic programming with constraints and its applications
Lifting symmetry breaking constraints with inductive logic programming
Learning to select SAT encodings for pseudo-Boolean and linear integer constraints
Logic synthesis with Boolean model
Clausal proofs for pseudo-boolean reasoning
Boolean Connexive Logic and Content Relationship
Towards Faster Conflict-Driven Pseudo-Boolean Solving
Using weighted constraints to build a tutoring system for logic programming
Memristive Stateful Logic for Edge Boolean Computers
Logic programming : proceedings
Pseudo-Boolean : Programming and applications
Pseudo-Boolean Optimization
Disjunctive logic programming with constraints and its applications
Lifting symmetry breaking constraints with inductive logic programming
Learning to select SAT encodings for pseudo-Boolean and linear integer constraints
Logic synthesis with Boolean model
Clausal proofs for pseudo-boolean reasoning
Boolean Connexive Logic and Content Relationship
Towards Faster Conflict-Driven Pseudo-Boolean Solving
Using weighted constraints to build a tutoring system for logic programming
Memristive Stateful Logic for Edge Boolean Computers
Logic programming : proceedings
Pseudo-Boolean : Programming and applications
Pseudo-Boolean Optimization
Disjunctive logic programming with constraints and its applications
Lifting symmetry breaking constraints with inductive logic programming
Learning to select SAT encodings for pseudo-Boolean and linear integer constraints
Logic synthesis with Boolean model
Clausal proofs for pseudo-boolean reasoning
Boolean Connexive Logic and Content Relationship
Towards Faster Conflict-Driven Pseudo-Boolean Solving
Using weighted constraints to build a tutoring system for logic programming
Memristive Stateful Logic for Edge Boolean Computers