Variants and satisfiability in the infinitary unification wonderland.

Published in: J. Log. Algebraic Methods Program. (2023)

Keyphrases

satisfiability problem
np complete
higher order
propositional logic
theorem proving
decision procedures
search engine
equational theories
genetic algorithm
computational complexity
temporal logic
phase transition
terminological reasoning
first order logic
sat problem
quantified boolean formulas