Überbrückungsbeschränkung Zufriedenheit und boolesche Zufriedenheit (künstlich
88,68 €
The author also gives theoretical reasons for choosing a particular SAT encoding for several important classes of CSP instances. Justyna Petke received her D.Phil. from the University of Oxford. She is a Research Associate at the Centre for Research on Evolution, Search and Testing (CREST) in the Dept. of Computer Science, University College London.
Jetzt bei Ebay: