[1] Alexander Feldman, Morad Behandish, Johan de Kleer, Ion Matei, and Saigopal Nelaturi. System and method for determining hybrid-manufacturing process plans based on satisfiability modulo difference logic solver, July 2022. [ bib ]
[2] Alexander Feldman, Morad Behandish, Johan de Kleer, Ion Matei, and Saigopal Nelaturi. System and method for determining hybrid-manufacturing process plans for printed circuit boards based on satisfiability modulo difference logic solver, February 2022. [ bib ]
[3] Alexander Feldman, Morad Behandish, Johan de Kleer, Ion Matei, and Saigopal Nelaturi. System and method for determining hybrid-manufacturing process plans for integrated circuits based on satisfiability modulo difference logic solver, October 2021. [ bib ]
[4] Alexander Feldman, Johan de Kleer, and Ion Matei. Automatic redesign of digital circuits, February 2021. [ bib ]
[5] Alexander Feldman, Johan de Kleer, and Ion Matei. Method and system for automated design and design-space exploration, December 2020. [ bib ]

This file was generated by bibtex2html 1.99.