Output details
11 - Computer Science and Informatics
University of Manchester
Output title
Solving Systems of Linear Inequalities by Bound Propagation
Type
E - Conference contribution
Name of conference/published proceedings
CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland July 31 -- August 5, 2011
Volume number
6803
Issue number
-
First page of article
369
ISSN of proceedings
0302-9743
Year of publication
2011
URL
-
Number of additional authors
1
Additional information
<11> This paper introduces a novel method for solving systems of linear constraints. This paper is significant because linear constraints have a wide range of applications from verification to linear optimisation and new algorithms are rare in this area. Our algorithm has a number of attractive properties which are crucial for efficient integration into SMT solvers, which may enable it to become a method of choice in many applications.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
2
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
