Open AccessLight Algorithms for Maintaining Max-RPC During Search
Author(s) -
Julien Vion,
Romuald Debruyne
Publication year - 2009
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - consistency (knowledge bases) , computer science , domain (mathematical analysis) , algorithm , solver , sequential consistency , constraint (computer aided design) , consistency model , combinatorics , mathematics , artificial intelligence , programming language , mathematical analysis , geometry , correctness