In Memoriam - Alan Selman (1941 - 2021).

Published in: Theory Comput. Syst. (2023)

Keyphrases

john mccarthy
knowledge compilation
programming language
turing machine
sat problem
machine learning
general purpose
constraint satisfaction problems
high level
evolutionary algorithm
object oriented
orders of magnitude
cellular automata
relational databases
data management
model checking