Quantifying conflicts in propositional logic through prime implicates Academic Article uri icon

publication date

  • January 7, 2017

start page

  • 27

end page

  • 40

volume

  • 89