Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Unit Propagation
CHF 36.90
Auf Lager
SKU
B1DSBCDTSGQ
1 Verfügbar 
Geliefert zwischen Do., 05.02.2026 und Fr., 06.02.2026
Details
High Quality Content by WIKIPEDIA articles! High Quality Content by WIKIPEDIA articles! The unit clauses that are present in a set of clauses or can be derived from it can be stored in form of a partial model (this partial model may also contain other literals, depending on the application). In this case, unit propagation is performed based on the literals of the partial model, and unit clauses are removed if their literal is in the model. In the example above, the unit clause a would be added to the partial model; the simplification of the set of clause would then proceed as above with the difference that the unit clause a is now removed from the set. The resulting set of clause is equivalent to the original one under the assumption of validity of the literals in the partial model.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09786131132599
- Editor Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
- EAN 9786131132599
- Format Fachbuch
- Titel Unit Propagation
- Herausgeber Betascript Publishing
- Anzahl Seiten 68
- Genre Mathematik
Bewertungen
Schreiben Sie eine Bewertung
