DMCA
Decision procedures (2008)
by
Daniel Kroening
,
Ofer Strichman We Will See
,
Ax B
| Venue: | KRO d2 2008:1 1.Ex |
| Citations: | 33 - 4 self |
BibTeX
@INPROCEEDINGS{Kroening08decisionprocedures,
author = {Daniel Kroening and Ofer Strichman We Will See and Ax B},
title = {Decision procedures},
booktitle = {KRO d2 2008:1 1.Ex},
year = {2008},
publisher = {Springer}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
� Solving a linear (continues) system � Good old Gaussian Elimination for linear equations. � Feasibility test a-la Simplex for linear inequalities. � Fourir-Motzkin for linear inequalities. � Solving a linear (discrete) system � Branch and Bound for integer linear inequalities. � The Omega-Test method for integer linear inequalities.
