ACL RD-TEC 1.0 Summarization of C92-1020

Paper Title:
ON THE SATISFIABILITY OF COMPLEX CONSTRAINTS

Primarily assigned technology terms:

Other assigned terms:

  • approach
  • axioms
  • case
  • computational linguists
  • conjunct
  • data structures
  • disjunction
  • fact
  • feature
  • feature structures
  • formalisms
  • hypothesis
  • linear time
  • linguistic
  • linguistics
  • linguists
  • logic
  • logic formulae
  • method
  • negation
  • opinion
  • process
  • rewrite rules
  • terms
  • theorem
  • words

Extracted Section Types:


This page last edited on 10 May 2017.

*** ***