An algorithm based on resolution for the satisfiability problem
The satisfiability problem is the core problem in artificial intelligence. The algorithm directional resolution (DR) is a well known method based on resolution for satisfiability problem. But the number of clauses has great impact on the efficiency of the method. In this paper, an algorithm SRDR is...
Saved in:
Published in | 2010 2nd International Conference on Advanced Computer Control Vol. 4; pp. 420 - 423 |
---|---|
Main Authors | , , |
Format | Conference Proceeding |
Language | English |
Published |
IEEE
01.03.2010
|
Subjects | |
Online Access | Get full text |
Cover
Loading…
Be the first to leave a comment!