Benjamin W. Wah

Algorithms for the Satisfiabil

Algorithms for the Satisfiability Problem

2008

Computers for artificial intelligence processing

1990

Computers for artificial intelligence applications

1986

Data management on distributed databases

1981