140
click to vote
ICTAI
2008
IEEE
16 years 6 days ago
2008
IEEE
Handling redundancy in propositional reasoning and search is an active path of theoretical research. For instance, the complexity of some redundancy-related problems for CNF formu...