AN IMPROVED ALGORITHM FOR IMPLICATION TESTING INVOLVING ARITHMETIC INEQUALITIES Note

SUN, W, WEISS, MA. (1994). AN IMPROVED ALGORITHM FOR IMPLICATION TESTING INVOLVING ARITHMETIC INEQUALITIES . IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 6(6), 997-1001. 10.1109/69.334889

keywords

  • ARITHMETIC INEQUALITIES
  • Computer Science
  • Computer Science, Artificial Intelligence
  • Computer Science, Information Systems
  • DATABASE MANAGEMENT SYSTEMS
  • EQUIVALENCE
  • Engineering
  • Engineering, Electrical & Electronic
  • IMPLICATION TESTING
  • QUERY OPTIMIZATION
  • SATISFIABILITY
  • Science & Technology
  • Technology

Digital Object Identifier (DOI)

publisher

  • IEEE COMPUTER SOC

start page

  • 997

end page

  • 1001

volume

  • 6

issue

  • 6