שמור ב:
מידע ביבליוגרפי
Main Authors: Rivera, Cody, Bhusal, Bishnu, Chadha, Rohit, Sistla, Aravinda Prasad, Viswanathan, Mahesh
פורמט: Recurso digital
שפה:
יצא לאור: Zenodo 2025
גישה מקוונת:https://doi.org/10.5281/zenodo.14593603
תגים: הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
תוכן הענינים:
  • <p>Artifact for Paper "Checking -Satisfiability of Reals with Integrals" to appear in PACMPL vol. 9 issue OOPSLA1, and submitted for evaluation.<br><br></p> <p> </p>