Allen Van Gelder
2 published titles
Computer algorithms
(Contributor)
1 edition
- ISBN: 0201612445
- Addison Wesley
- 2000
- Details
Theory and Applications of Satisfiability Testing - SAT 2013 : 16th international conference, Helsinki, Finland, July 8-12, 2013, proceedings
(Contributor)
1 edition
- ISBN: 9783642390708
- Springer
- 2013
- Details
