Login / Signup

Full Dynamic Substitutability by SAT Encoding.

Steven D. Prestwich
Published in: CP (2004)
Keyphrases
  • sat encodings
  • dynamic environments
  • information retrieval systems