boolean satisfiability

• Optimization Models for Subset Cover
  October 20, 2020
• Boolean Logic in Polynomials
  July 24, 2017
• An Update on "Coloring Resilient Graphs"
  July 14, 2014
• A problem that is not (properly) PAC-learnable
  April 21, 2014