CSCLP   2008 International Workshop on Constraint Solving and Constraint Logic Programming
Wall of Fame | Most Viewed CSCLP-2008 Paper
10 years 8 months ago
Challenges in Constraint-Based Analysis of Hybrid Systems
In the analysis of hybrid discrete-continuous systems, rich arithmetic constraint formulae with complex Boolean structure arise naturally. The iSAT algorithm, a solver for such for...
Andreas Eggers, Natalia Kalinnik, Stefan Kupfersch...
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
1Download preprint from source265
2Download preprint from source264
3Download preprint from source260
4Download preprint from source258
5Download preprint from source244
6Download preprint from source237
7Download preprint from source226