{"id":18394396,"url":"https://github.com/romac/sav-presentation","last_synced_at":"2026-01-23T11:42:59.027Z","repository":{"id":66930140,"uuid":"90633138","full_name":"romac/SAV-Presentation","owner":"romac","description":null,"archived":false,"fork":false,"pushed_at":"2017-05-08T15:05:25.000Z","size":1060,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-04-12T13:19:00.146Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"TeX","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/romac.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2017-05-08T13:47:02.000Z","updated_at":"2017-05-08T13:47:13.000Z","dependencies_parsed_at":"2023-02-22T07:30:34.176Z","dependency_job_id":null,"html_url":"https://github.com/romac/SAV-Presentation","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/romac%2FSAV-Presentation","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/romac%2FSAV-Presentation/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/romac%2FSAV-Presentation/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/romac%2FSAV-Presentation/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/romac","download_url":"https://codeload.github.com/romac/SAV-Presentation/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":248571839,"owners_count":21126522,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-11-06T02:05:33.570Z","updated_at":"2026-01-23T11:42:53.992Z","avatar_url":"https://github.com/romac.png","language":"TeX","funding_links":[],"categories":[],"sub_categories":[],"readme":"\n# SAV Presentation: Efficient E-Matching for SMT solvers\n\n\u003e This is the code and slides for my presentation of the [Efficient E-Matching for SMT solvers](https://dl.acm.org/citation.cfm?id=1420872) paper for the [Synthesis and Verification class](http://lara.epfl.ch/w/sav17:top) at EPFL.\n\n[Check out the rendered PDF slides](e-matching.pdf)\n\n## References\n\n[1] Detlefs, D. et al. 2005\\. Simplify: A theorem prover for program checking. _J. ACM_. 52, 3 (May 2005), 365–473.\n\n[2] Ganzinger, H. et al. 2001\\. Context trees. _Automated reasoning: First international joint conference, ijcar 2001 siena, italy, june 18–22, 2001 proceedings_. R. Goré et al., eds. Springer Berlin Heidelberg. 242–256.\n\n[3] Moskal, M. et al. 2008\\. E-matching for fun and profit. _Electron. Notes Theor. Comput. Sci._ 198, 2 (May 2008), 19–35.\n\n[4] Moura, L. de and Bjørner, N. 2007\\. Efficient E-matching for SMT solvers. _Automated deduction – cade-21: 21st international conference on automated deduction bremen, germany, july 17-20, 2007 proceedings_. F. Pfenning, ed. Springer Berlin Heidelberg. 183–198.\n\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fromac%2Fsav-presentation","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fromac%2Fsav-presentation","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fromac%2Fsav-presentation/lists"}