Überbrückungsbeschränkung Zufriedenheit und boolesche Zufriedenheit (künstlich
78,38 €
The author also gives theoretical reasons for choosing a particular SAT encoding for several important classes of CSP instances.
Jetzt bei Ebay:
![Produktbild - Search Methods in Artificial Intelligence by Khemani, Deepak [Hardback] NEUF](https://i.ebayimg.com/thumbs/images/g/Fs0AAeSwP35n69pm/s-l140.jpg)
