Login / Signup
Strong equivalence made easy: nested expressions and weight constraints.
Hudson Turner
Published in:
Theory Pract. Log. Program. (2003)
Keyphrases
</>
strong equivalence
logic programs
constraint satisfaction
computational complexity
query processing