Implementing deductive databases by linear programming
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A cost effective question asking strategy
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
Mixed integer programming methods for computing nonmonotonic deductive databases
Journal of the ACM (JACM)
Implementing deductive databases by mixed integer programming
ACM Transactions on Database Systems (TODS)
Partial Instantiation Methods for Inference in First-Order Logic
Journal of Automated Reasoning
Mathematical Programming Embeddings of Logic
Journal of Automated Reasoning
Convergence Properties of Optimization Algorithms for the SAT Problem
IEEE Transactions on Computers
Global Optimization for Satisfiability (SAT) Problem
IEEE Transactions on Knowledge and Data Engineering
Nonmonotonic Logic Programming
IEEE Transactions on Knowledge and Data Engineering
Partial instantiation theorem proving for distributed resource location
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Applying GSAT to non-clausal formulas
Journal of Artificial Intelligence Research
Combining instance generation and resolution
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
An extension rule based first-order theorem prover
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
An approach to guided learning of boolean functions
Mathematical and Computer Modelling: An International Journal
Operations Research Letters
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
| Hi-index | 0.00 |