2024-10-11
16:00 |
|
2024-10-10
14:00 |
|
2024-10-10
10:09 |
|
2024-10-01
16:02 |
|
2024-10-01
15:05 |
|
2024-09-26
11:37 |
-
Under-Approximation of a Single Algebraic Cell (Extended Abstract)
Promies, V. M. ; Nalbach, J. K. F. ; Ábrahám, E.
PAAR+SC-Square 2024: Practical Aspects of Automated Reasoning and Satisfiability Checking and Symbolic Computation Workshop 2024 : joint proceedings of the 9th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 9th Satisfiability Checking and Symbolic Computation Workshop (SC-Square), 2024, co-located with the 12th International Joint Conference on Automated Reasoning (IJCAR 2024) : Nancy, France, July 2, 2024 / edited by Chris Brown, Daniela Kaufmann, Cláudia Nalon, Alexander Steen, Martin Suda, Seiten/Artikel-Nr: 132-136
URL: https://ceur-ws.org/Vol-3717/
Abstract (Extended abstract)/Contribution to a book/Contribution to a conference proceedings
2024
|
2024-09-25
09:46 |
|
2024-09-16
08:12 |
|
2024-09-16
08:09 |
|
2024-09-16
08:05 |
|
|
|
guest ::