GRASP-A search algorithm for propositional satisfiability
収録刊行物
-
- IEEE Trans. on Computers
-
IEEE Trans. on Computers 48 506-521, 1999
IEEE Trans. on Computers 48 506-521, 1999