Open AccessPrecision Adjustment Strategies Based on Constraint Simplification in Polyhedra Abstract Domain
Author(s) -
Xiang Chen,
Min Zhou,
Ming Gu
Publication year - 2017
Publication title -
proceedings of 2016 the 6th international workshop on computer science and engineering
Language(s) - English
Resource type - Conference proceedings
DOI - 10.18178/wcse.2017.06.034
Subject(s) - polyhedron , constraint (computer aided design) , computer science , domain (mathematical analysis) , algorithm , mathematics , combinatorics , geometry , mathematical analysis
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom