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

Ting-Wei Lin Chia-Hsuan Lu Tony Tan

Published in: LICS (2021)

Keyphrases

data sets
artificial intelligence
logic programming
np complete
learning algorithm
lightweight
propositional logic
computational properties