@patent{US11386509,
  author =       {Alexander Feldman and Morad Behandish and Johan de
                  Kleer and Ion Matei and Saigopal Nelaturi},
  title =        {System and Method for Determining
                  Hybrid-Manufacturing Process Plans Based on
                  Satisfiability Modulo Difference Logic Solver},
  nationality =  {U.S.},
  number =       {11 386 509},
  day = 12,
  month = jul,
  year = 2022
}

@patent{US11244097,
  author =       {Alexander Feldman and Morad Behandish and Johan de
                  Kleer and Ion Matei and Saigopal Nelaturi},
  title =        {System and Method for Determining
                  Hybrid-Manufacturing Process Plans for Printed
                  Circuit Boards Based on Satisfiability Modulo
                  Difference Logic Solver},
  nationality =  {U.S.},
  number =       {11 244 097},
  day = 8,
  month = feb,
  year = 2022
}

@patent{US11157672,
  author =       {Alexander Feldman and Morad Behandish and Johan de
                  Kleer and Ion Matei and Saigopal Nelaturi},
  title =        {System and Method for Determining
                  Hybrid-Manufacturing Process Plans for Integrated
                  Circuits Based on Satisfiability Modulo Difference
                  Logic Solver},
  nationality =  {U.S.},
  number =       {11 157 672},
  day = 26,
  month = oct,
  year = 2021
}

@patent{US10915684,
  author =       {Alexander Feldman and Johan de Kleer and Ion Matei},
  title =        {Automatic Redesign of Digital Circuits},
  nationality =  {U.S.},
  number =       {10 915 684},
  day = 9,
  month = feb,
  year = 2021
}

@patent{US10853540,
  author =       {Alexander Feldman and Johan de Kleer and Ion Matei},
  title =        {Method and System for Automated Design and Design-Space Exploration},
  nationality =  {U.S.},
  number =       {10 853 540},
  day = 1,
  month = dec,
  year = 2020
}