Sign in

A New Approach to Verification of Threshold Functions in Ternary Logic.

Tadahiro KitahashiYutaka Hata
Published in: ISMVL (2020)
Keyphrases
  • threshold functions
  • boolean functions
  • decision lists
  • linear threshold
  • low degree
  • logic programming
  • model checking
  • agnostic learning
  • lower bound
  • upper bound