Search papers, labs, and topics across Lattice.
Innopolis University
1
0
2
Bottom-up enumeration in miniKanren can now achieve superior performance in program synthesis by leveraging pruning and memoization techniques.
