دانلود کتاب Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems
by Christian Herde
|
عنوان فارسی: حل بهینه از بزرگ محدودیت سیستم های حساب با ساختار بولی مجتمع: موتورهای حرفه ای برای اثبات تجزیه و تحلیل سیستم گسسته مداوم ترکیبی |