A Logic Programming Framework for Combinational Circuit Synthesis

DOI10.1007/978-3-540-74610-2_13zbMath1213.94203arXiv0804.2095OpenAlexW1864142337MaRDI QIDQ3608655

Brenda Luderman, Paul Tarau

Publication date: 5 March 2009

Published in: Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0804.2095

zbMATH Keywords

logic programmingcircuit designcombinatorial object generationexact combinational circuit synthesisminimal transistor-count circuit synthesissymbolic rewritinguniversal Boolean logic libraries

Mathematics Subject Classification ID

Logic programming (68N17)

This page was built for publication: A Logic Programming Framework for Combinational Circuit Synthesis