activity
20242026
most citedMulti-objective generative AI for designing novel brain-targeting small molecules

3 citations · 3 across the 3 of their papers we have counts for

collaborators
Showing 2026 · cs.PLShow all

1 paper · 2 filters

cs.PL2026

chrKanren: Constraint Handling Rules in a Relational Language

Rafaello Sanna, William E. Byrd, Nada Amin

We present chrKanren, a dialect of the purely relational constraint logic programming language miniKanren which includes support for Constraint Handling Rules (CHR), a language for…