Job-shop scheduling using automated reasoning: a case study of the car-sequencing problem
Journal of Automated Reasoning
A computational logic handbook
A computational logic handbook
Automated reasoning: 33 BASIC research problems
Automated reasoning: 33 BASIC research problems
Automated reasoning (2nd ed.): introduction and applications
Automated reasoning (2nd ed.): introduction and applications
The automation of reasoning: an experimenter's notebook with OTTER tutorial
The automation of reasoning: an experimenter's notebook with OTTER tutorial
Solution of the Robbins Problem
Journal of Automated Reasoning
What design heuristics may enhance the utility of a formal specification?
SAICSIT '02 Proceedings of the 2002 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology
SAICSIT '03 Proceedings of the 2003 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology
| Hi-index | 48.22 |