Sign in

Towards a more efficient approach for the satisfiability of two-variable logic.

Ting-Wei LinChia-Hsuan LuTony Tan
Published in: LICS (2021)
Keyphrases
  • data sets
  • artificial intelligence
  • logic programming
  • np complete
  • learning algorithm
  • lightweight
  • propositional logic
  • computational properties