Maaren, Hans van.

Overview

Works:	0 works in 1 publications in 1 languages

Titles

Handbook of satisfiability by: Maaren, Hans van.; Heule, Marijn, (1979-); Biere, Armin. (Language materials, printed)

Subjects