Семинар Катедре за рачунарство и информатику, 13. март 2014.

• 10. Март, 2014
• Коментари (0)

Наредни састанак Семинара биће одржан као заједнички састанак са АРГО семинаром у четвртак, 13. марта 2014, од 18 часова у сали 718 Математичког факултета.

Предавач: Александар Зељић, Универзитет у Упсали, Шведска

Наслов предавања: Approximations for Model Construction

Садржај: We consider the problem of efficiently computing models for satisfiable constraints, in the presence of complex background theories such as floating-point arithmetic (FPA). Model construction has various applications, for instance the automatic generation of test inputs. It is well-known that naive encoding of constraints into simpler theories (for instance, bit-vectors or propositional logic) can lead to a drastic increase in size, and be unsatisfactory in terms of memory and runtime needed for model construction. We define a framework for systematic application of approximations in order to speed up model construction. Our method is more general than previous techniques in the sense that approximations that are neither under- nor over-approximations (or the combination of both) can be used, and shows promising results in practice.