@article{feldman22qmbd,
  author =       {Alexander Feldman and Johan de Kleer and Ion Matei},
  title =        {A Quantum Algorithm for Computing All Diagnoses of a
                  Switching Circuit},
  journal =      {arXiv preprint arXiv:2209.05470},
  note =         {In Preparation},
  year = 2022,
  numpages = 13,
  url =          {https://arxiv.org/abs/2209.05470}
}
@article{feldman19quantified,
  author =       {Alexander Feldman and Johan de Kleer and Ion Matei},
  title =        {Design Space Exploration as Quantified Satisfaction},
  journal =      {arXiv preprint arXiv:1905.02303},
  note =         {In Preparation},
  year = 2019,
  numpages = 47,
  url =          {https://arxiv.org/pdf/1905.02303}
}
@article{ortiz19readiness,
  author =       {Alejandro Perdomo-Ortiz and Alexander Feldman and
                  Asier Ozaeta and Sergei V. Isakov and Zheng Zhu and
                  Bryan O'Gorman and Helmut G. Katzgraber and
                  Alexander Diedrich and Hartmut Neven and Johan de
                  Kleer and Brad Lackey and Rupak Biswas},
  title =        {Readiness of Quantum Optimization Machines for
                  Industrial Applications},
  journal =      {Phys. Rev. Applied},
  volume = 12,
  issue = 1,
  pages = 014004,
  numpages = 23,
  year = 2019,
  month =        {July},
  publisher =    {American Physical Society},
  doi =          {10.1103/PhysRevApplied.12.014004},
  url =          {https://link.aps.org/doi/10.1103/PhysRevApplied.12.014004}
}
@article{stern17howmany,
  author =       {Roni Stern and Meir Kalech and Shelly Rogov and
                  Alexander Feldman},
  title =        {How Many Diagnoses do we Need?},
  journal =      {Artificial Intelligence},
  volume = 248,
  pages =        {26 - 45},
  year = 2017,
  issn =         {0004-3702},
  doi =          {https://doi.org/10.1016/j.artint.2017.03.002},
  url =          {http://www.sciencedirect.com/science/article/pii/S0004370217300309}
}
@article{feldman14aim,
  author =       {Alexander Feldman and Johan de Kleer and Tolga
                  Kurtoglu and Sriram Narasimhan and Scott Poll and
                  David Garcia and Lukas Kuhn and Arjan van Gemund},
  title =        {The Diagnostic Competitions},
  journal =      {AI Magazine},
  year = 2014
}
@article{feldman10fractal,
  author =       {Alexander Feldman and Gregory Provan and Arjan van
                  Gemund},
  title =        {A Model-Based Active Testing Approach to Sequential
                  Diagnosis},
  journal =      {Journal of Artificial Intelligence Research},
  year = 2010,
  volume = 39,
  pages =        {301--334}
}
@article{feldman10empirical,
  author =       {Alexander Feldman and Tolga Kurtoglu and Sriram
                  Narasimhan and Scott Poll and David Garcia and Johan
                  de Kleer and Lukas Kuhn and Arjan van Gemund},
  title =        {Empirical Evaluation of Diagnostic Algorithm
                  Performance Using a Generic Framework},
  journal =      {International Journal of Prognostics and Health
                  Management},
  year = 2010,
  pages =        {1--28}
}
@article{feldman10safari,
  author =       {Alexander Feldman and Gregory Provan and Arjan van
                  Gemund},
  title =        {Approximate Model-Based Diagnosis Using Greedy
                  Stochastic Search},
  journal =      {Journal of Artificial Intelligence Research},
  year = 2010,
  volume = 38,
  pages =        {371--413}
}