Results 101 to 110 of about 1,331 (113)

On Optimization Modulo Theories, MaxSMT and Sorting Networks

Lecture Notes in Computer Science, 2017
Patrick Trentin, Roberto Sebastiani, Sebastiani Roberto   +2 more
exaly  

Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach

IEEE Transactions on Automatic Control, 2017
Sanjit Seshia, Paulo Tabuada, Yasser Shoukry   +2 more
exaly  

Generating effective test cases based on satisfiability modulo theory solvers for service-oriented workflow applications

Software Testing Verification and Reliability, 2016
Wei Song
exaly  

Uniform Distribution Modulo 1 and the Joint Universality of Dirichlet L -functions

Lithuanian Mathematical Journal, 2016
Antanas Laurincikas, Darius Šiaučiūnas, Renata Macaitienė   +2 more
exaly  

Binary Kloosterman Sums Modulo 256 and Coefficients of the Characteristic Polynomial

IEEE Transactions on Information Theory, 2012
Faruk Gologlu, Petr Lisoněk, Gary Mcguire   +2 more
exaly  

On the distribution of αp modulo 1

Mathematika, 1977
exaly  

Rewriting Modulo SMT and Open System Analysis

Lecture Notes in Computer Science, 2014
Aaron Dutle, Camilo Rocha, Rocha Camilo   +2 more
exaly  

On the distribution of √ p modulo one

Mathematika, 1983
exaly  

Component-Based Synthesis of Embedded Systems Using Satisfiability Modulo Theories

ACM Transactions on Design Automation of Electronic Systems, 2015
exaly  

Satisfiability modulo theory based methodology for floorplanning in VLSI circuits

2016

exaly