On Exact Selection of Minimally Unsatisfiable Subformulae
Annals of Mathematics and Artificial Intelligence
Computing customized page ranks
ACM Transactions on Internet Technology (TOIT)
Solution techniques for the Large Set Covering Problem
Discrete Applied Mathematics
Generalized filtering algorithms for infeasibility analysis
Computers and Operations Research
Infeasibility resolution based on goal programming
Computers and Operations Research
On optimal zero-preserving corrections for inconsistent linear systems
Journal of Global Optimization
SAT'08 Proceedings of the 11th international conference on Theory and applications of satisfiability testing
Hi-index | 0.01 |