Analyzing Unit Read-Once Refutations in Difference Constraint Systems.

K. Subramani Piotr J. Wojciechowski

Published in: JELIA (2021)

Keyphrases

management system
artificial intelligence
expert systems
real world
search engine
search algorithm
evolutionary algorithm
intelligent systems
retrieval systems
e learning
decision trees
mobile robot
distributed systems
knowledge based systems