Back to Search Start Over

Satisfiability Modulo Theories in an Undergraduate Class

Authors :
Yoni Zohar
Source :
Electronic Proceedings in Theoretical Computer Science. 375:1-1
Publication Year :
2023
Publisher :
Open Publishing Association, 2023.

Subjects

Subjects :
General Medicine

Details

ISSN :
20752180
Volume :
375
Database :
OpenAIRE
Journal :
Electronic Proceedings in Theoretical Computer Science
Accession number :
edsair.doi...........779114de26107fddea2fd784a7a7b6e0
Full Text :
https://doi.org/10.4204/eptcs.375.1
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details