Sign in

NP-completeness of small conflict set generation for congruence closure.

Andreas FellnerPascal FontaineBruno Woltzenlogel Paleo
Published in: Formal Methods Syst. Des. (2017)
Keyphrases
  • small number
  • probability distribution
  • conflict resolution
  • face recognition
  • multiscale
  • rough sets
  • random sample