Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
R. Govind
Publications
Automated Synthesis of Decision Lists for Polynomial Specifications over Integers
S. Akshay
,
Supratik Chakraborty
,
Amir Kafshdar Goharshady
,
R Govind
,
Harshit Jitendra Motwani
and
Sai Teja Varanasi
In
:
Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Keyphrases
decision lists
,
non-linear integer arithmetic
,
static analysis
,
synthesis
.
Copyright © 2012-2024 easychair.org. All rights reserved.