Login / Signup

Effective Strictness Analysis with HORN Constraints.

Kevin GlynnPeter J. StuckeyMartin Sulzmann
Published in: SAS (2001)
Keyphrases
  • real time
  • information retrieval
  • search algorithm
  • natural language processing
  • constraint satisfaction