Search Results for author:
Found 2 papers, 0 papers with code
A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis
Additionally, a specification admits a polynomial-sized functional solution iff there exists a semantically equivalent polynomial-sized SAUNF representation.
Eye: Program Visualizer for CS2
It demonstrates properties and usage of data structures in a general environment, thereby helping in learning, logical debugging, and code comprehension.
Computers and Society
Cannot find the paper you are looking for? You can
Submit a new open access paper.
