Inference of regular languages using state merging algorithms with search

Learning regular sets from queries and counterexamples

Dana Angluin · Information and Computation · 1987 · 2.1K citations

Computing, Computer Science, Mathematics +10

Occam's Razor

Anselm Blumer, Andrzej Ehrenfeucht, David Haussler et al. · Information Processing Letters · 1987 · 1.1K citations

Humanities, Philosophy, Philosophy Of Mind +3

GRASP - A New Search Algorithm for Satisfiability

1996 · 860 citations

Computing, Computer Science, Algorithms +15

Complexity of automaton identification from given data

Eric Gold · Information and Control · 1978 · 770 citations

Computing, Computer Science, Mathematics +12

Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis

Richard Stallman, Gerald Jay Sussman · Artificial Intelligence · 1977 · 714 citations

Computing, Computer Engineering, Computer Science +7