182 citations
- University of PisaIT6 papers
- Institute for Computational Linguistics “A. Zampolli”IT4 papers
- Tata Institute of Fundamental ResearchIN4 papers
- Institute for Chemical and Physical ProcessesIT3 papers
- Heidelberg UniversityDE2 papers
- Astronomy and SpaceAU1 paper
- Bariloche Atomic CentreAR1 paper
- Benemérita Universidad Autónoma de PueblaMX1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
- Duke UniversityUS1 paper
- Eötvös Loránd UniversityHU1 paper
- Graduate School USAUS1 paper
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2008★ 1 cited
Ranking and Unranking of Hereditarily Finite Functions and Permutations
Paul Tarau
Prolog's ability to return multiple answers on backtracking provides an elegant mechanism to derive reversible encodings of combinatorial objects as Natural Numbers i.e. {\em ranki…
cs.LO2008
A Logic Programming Framework for Combinational Circuit Synthesis
Paul Tarau, Brenda Luderman
Logic Programming languages and combinational circuit synthesis tools share a common "combinatorial search over logic formulae" background. This paper attempts to reconnect the two…