Author:
Golia Priyanka,Slivovsky Friedrich,Roy Subhajit,Meel Kuldeep S.
Funder
National Research Foundation Singapore
Vienna Science and Technology Fund
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Tractable representations for Boolean functional synthesis;Annals of Mathematics and Artificial Intelligence;2023-12-05
2. Symbolic encoding of LL(1) parsing and its applications;Formal Methods in System Design;2023-06-22
3. A Theorem Proving Approach to Programming Language Semantics;2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET);2023-05
4. Synthesis with Explicit Dependencies;2023 Design, Automation & Test in Europe Conference & Exhibition (DATE);2023-04
5. Boolean Functional Synthesis: From Under the Hood of Solvers;Logic and Its Applications;2023