Symbolic Verification with Gap-Order Constraints.

Laurent Fribourg Julian Richardson

Published in: LOPSTR (1996)

Keyphrases

artificial intelligence
clustering algorithm
databases
web pages
website
expert systems
mobile robot