-sat on Groups and Undecidability.

Michael H. Freedman

Published in: STOC (1998)

Keyphrases

sat solvers
boolean satisfiability
knowledge base
search algorithm
satisfiability problem
similar objects
description logics
integrity constraints
search strategies
max sat
probabilistic planning