Variant-Based Satisfiability in Initial Algebras.

Published in: FTSCS (2015)

Keyphrases

computational complexity
information retrieval
clustering algorithm
case study
phase transition
satisfiability problem
initial set
computational properties
sat solving