2 citations · 2 across the 2 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2022
A Quantum Algorithm for Computing All Diagnoses of a Switching Circuit
Alexander Feldman, Johan de Kleer, Ion Matei
Faults are stochastic by nature while most man-made systems, and especially computers, work deterministically. This necessitates the linking of probability theory with mathematical…
cs.AI2019
Design Space Exploration as Quantified Satisfaction
Alexander Feldman, Johan de Kleer, Ion Matei
We present novel algorithms for design and design space exploration. The designs discovered by these algorithms are compositions of function types specified in component libraries.…