Friedrich Slivovsky
- Engineering an Efficient Boolean Functional Synthesis Engine
2021/08/12 by Priyanka Golia, Friedrich Slivovsky, Golia, Priyanka +5 · 3 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Software Engineering Research #Software Reliability and Analysis Research