Back to Results
First PageMeta Content
Elementary mathematics / Logic in computer science / Operations research / Functions and mappings / Presburger arithmetic / Vector space / Linear programming / Function / Polynomial / Mathematics / Algebra / Linear algebra


Ranking Function Synthesis for Bit-Vector Relations? Byron Cook1 , Daniel Kroening2 , Philipp R¨ ummer2 , and 3 Christoph M. Wintersteiger
Add to Reading List

Document Date: 2010-03-15 15:38:19

Open Document

File Size: 243,99 KB

Share Result on Facebook

Company

Microsoft / /

Facility

UK Oxford University / /

IndustryTerm

integral systems / linear and non-linear systems / function synthesis tool / synthesis tools / integer solutions / function synthesis tools / arithmetic-based ranking function synthesis tools / /

OperatingSystem

Microsoft Windows / /

Organization

European Union / Oxford University / Swiss National Science Foundation / Engineering and Physical Sciences Research Council / /

Person

Ai / /

Position

driver / /

ProgrammingLanguage

Java / C++ / /

ProvinceOrState

Pennsylvania / /

Technology

Java / single-loop / /

SocialTag