Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure

Christian Herde
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
2011ISBN 9783834814944
Viršelis: MinkštasAnglų k.
Negrožinė literatūraLiteratūra užsienio kalbomisKompiuterija ir informacinės technologijos
Pradinis
Krepšelis
Pokalbiai
Pranešimai
Paskyra