A rearrangement search strategy for determining propositional satisfiability (1988)
by
Ramin Zabih
| Venue: | in Proceedings of the National Conference on Artificial Intelligence |
| Citations: | 66 - 1 self |

