GRASP: A Search Algorithm for Propositional Satisfiability
IEEE Transactions on Computers
The Impact of Branching Heuristics in Propositional Satisfiability Algorithms
EPIA '99 Proceedings of the 9th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Hi-index | 0.00 |