Design of a dependency-directed compiler for constraint propagation
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
ACM SIGPLAN Notices
The derivation of test cases from SDL specifications
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
Bit vector encoding via decomposition
ACM-SE 20 Proceedings of the 20th annual Southeast regional conference
Fault-Tolerant Design Strategies for High Reliability and Safety
IEEE Transactions on Computers
Contour Line and Geographic Feature Extraction from USGS Color Topographical Paper Maps
IEEE Transactions on Pattern Analysis and Machine Intelligence
“Recommended mathematical topics for computer science majors”
SIGCSE '77 Proceedings of the eighth SIGCSE technical symposium on Computer science education
Another look at the discrete structures course
SIGCSE '76 Proceedings of the ACM SIGCSE-SIGCUE technical symposium on Computer science and education
The why and how of discrete structures
SIGCSE '76 Proceedings of the sixth SIGCSE technical symposium on Computer science education
Relationships among computational, software, and intuitive complexity
ACM SIGPLAN Notices
Realization of Boolean Expressions by Atomic Digraphs
IEEE Transactions on Computers
Substructure discovery using minimum description length and background knowledge
Journal of Artificial Intelligence Research
Hi-index | 0.01 |