Seminar Katedre za računarstvo i informatiku, 13. mart 2014.

• 10. Mart,  2014
• Komentari (0)

Naredni sastanak Seminara biće održan kao zajednički sastanak sa ARGO seminarom u četvrtak, 13. marta 2014, od 18 časova u sali 718 Matematičkog fakulteta.

Predavač: Aleksandar Zeljić, Univerzitet u Upsali, Švedska

Naslov predavanja: Approximations for Model Construction

Sadržaj: 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.

---