Bridging constraint satisfaction and boolean satisfiability

Bibliographische Detailangaben

1. Verfasser:	Petke, Justyna (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Cham [u.a.] Springer 2015
Schriftenreihe:	Artificial Intelligence: Foundations, Theory, and Algorithms
Schlagworte:	Boolesches Netzwerk Boolesche Funktion Künstliche Intelligenz Informatik Informationstheorie
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!