Handbook of satisfiability

Bibliographische Detailangaben

Weitere Verfasser:	Biere, Armin 1967- (HerausgeberIn), Heule, Marijn J. H. 1979- (HerausgeberIn), Maaren, Hans van 1950- (HerausgeberIn), Walsh, Toby 1964- (HerausgeberIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Amsterdam ; Berlin ; Oxford ; Tokyo ; Washington, DC IOS Press [2009]
Schriftenreihe:	Frontiers in artificial intelligence and applications volume 185
Schlagworte:	Propositional calculus > Congresses Decision making > Congresses Computer algorithms > Congresses Algebra, Boolean > Congresses Erfüllbarkeitsproblem Anwendung Algorithmus Berechnungskomplexität Konferenzschrift
Online-Zugang:	DE-91
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!