Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure : Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems /
Сохранить в:
| Главный автор: | |
|---|---|
| Формат: | |
| Язык: | английский |
| Опубликовано: |
Wiesbaden, Alemania :
Springer Vieweg,
2011, c2011
|
| Online-ссылка: | Ver documento en línea |
| Метки: |
Нет меток, Требуется 1-ая метка записи!
|
Схожие документы: Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure :
- Boolean algebra : theory and problems /
- Applied boolean algebra : an elementary introduction /
- Arithmetic: its structure and concepts /
- Semirings for Soft Constraint Solving and Programming /
- Complexity of Constraints : An Overview of Current Research Themes /
- Algorithmics of Large and Complex Networks : Design, Analysis, and Simulation /