A Collaborative Framework for Non-Linear...
URL: https://hal.science/hal-00924646
Dataset description:
In this paper, we describe a collaborative framework for reasoning modulo simple properties of non-linear integer arithmetic. This framework relies on the AC(X) combination...
Source: A Collaborative Framework for Non-Linear Integer Arithmetic Reasoning in Alt-Ergo
There are no views created for this resource yet.
Additional Information
| Field | Value |
|---|---|
| Data last updated | unknown |
| Metadata last updated | May 7, 2026 |
| Created | unknown |
| Format | HTML |
| License | https://about.hal.science/hal-authorisation-v1/, info:eu-repo/semantics/OpenAccess |
| Created | 5 months ago |
| Id | 6e2d30b8-4586-4ad8-85e3-5c1fc58141e7 |
| Package id | oai-hal-hal-00924646v1 |
| Resource type | HTML |
| State | active |