Sciweavers

Share
3 search results - page 1 / 1
» OptiMathSAT: A Tool for Optimization Modulo Theories
Sort
View
CAV
2015
Springer
10views Hardware» more  CAV 2015»
4 years 5 months ago
OptiMathSAT: A Tool for Optimization Modulo Theories
Abstract. Many SMT problems of interest may require the capability of finding models that are optimal wrt. some objective functions. These problems are grouped under the umbrella ...
Roberto Sebastiani, Patrick Trentin
SAT
2010
Springer
174views Hardware» more  SAT 2010»
9 years 7 months ago
A System for Solving Constraint Satisfaction Problems with SMT
Abstract. SAT Modulo Theories (SMT) consists of deciding the satisfiability of a formula with respect to a decidable background theory, such as linear integer arithmetic, bit-vect...
Miquel Bofill, Josep Suy, Mateu Villaret
SIGSOFT
2010
ACM
9 years 7 months ago
Scalable SMT-based verification of GPU kernel functions
Interest in Graphical Processing Units (GPUs) is skyrocketing due to their potential to yield spectacular performance on many important computing applications. Unfortunately, writ...
Guodong Li, Ganesh Gopalakrishnan
books