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

Ting-Wei Lin Chia-Hsuan Lu Tony Tan

Published in: CoRR (2021)

Keyphrases

logic programming
np complete
learning algorithm
data model
logic programs
lightweight
computational properties