A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis

Preey Shah,Aman Bansal,S. Akshay,Supratik Chakraborty

2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)（2021）

引用 9|浏览8

暂无评分

摘要

Boolean Skolem function synthesis concerns syn¬thesizing outputs as Boolean functions of inputs such that a relational specification between inputs and outputs is satisfied. This problem, also known as Boolean functional synthesis, has several applications, including design of safe controllers for autonomous systems, certified QBF solving, cryptanalysis etc. Recently, complexity theoretic hardness...

查看译文

关键词

normal form characterization,synthesis,function

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要