Built with and by Teycir Ben Soltane•
How to Use•FAQ•GitHub•arXiv.org•
Share:
ArXivCSExplorer
☆☆Bookmarks🏆RSSHow to UseFAQ
Home/Authors/Nikolai Kudasov

Nikolai Kudasov

1 indexed paper

Recent (6 mo)
1
With code
0
Influential cites
0
Benchmarked
0

Publications per year

1
26

Top categories

Prog. Lang.×1Logic×1

Research Timeline

2026
Towards Bottom-Up Enumeration in miniKanren via Pruning and Memoization

The paper introduces two library combinators, prune and defrel/bank, to bring observational deduplication and bottom-up enumeration into the relational setting using plain miniKanren.

Highlighted terms show continued research focus across papers

Papers

cs.PLcs.LOEmpiricalRecentJul 28, 2026

Towards Bottom-Up Enumeration in miniKanren via Pruning and Memoization

Nikolai Kudasov

The paper introduces two library combinators, prune and defrel/bank, to bring observational deduplication and bottom-up enumeration into the relational setting using plain miniKanren.

View →