Foreword: a Commemorative Issue for Alan L. Selman.

Elvira Mayordomo Mitsunori Ogihara Atri Rudra

Published in: Theory Comput. Syst. (2023)

Keyphrases

preprocessing
programming language
special issue
general purpose
sat problem
john mccarthy