Improved Exact Algorithms for MAX-SAT
LATIN '02 Proceedings of the 5th Latin American Symposium on Theoretical Informatics
MaxSolver: an efficient exact algorithm for (weighted) maximum satisfiability
Artificial Intelligence
MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability
Artificial Intelligence
Hi-index | 0.03 |