Silvia Tomasi
- Optimization in SMT with LA(Q) Cost Functions
2012/02/07 by Roberto Sebastiani, Sebastiani, Roberto, Silvia Tomasi +1 · 2 citations
Computer Science · Engineering · #Artificial Intelligence (cs.AI) #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Scheduling and Optimization Algorithms