Košík

0430462 - ÚI 2015 RIV CH eng J - Článek v odborném periodiku
Hladík, M. - Ratschan, Stefan
Efficient Solution of a Class of Quantified Constraints with Quantifier Prefix Exists-Forall.
Mathematics in Computer Science. Roč. 8, 3-4 (2014), s. 329-340. ISSN 1661-8289
Grant CEP: GA ČR GCP202/12/J060
Grant ostatní: GA ČR(CZ) GA13-10660S
Institucionální podpora: RVO:67985807
Klíčová slova: constraint solving * decision procedures * interval computation
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0235395