33 citations · 40 across the 6 of their papers we have counts for
1 paper · 1 filter
Ulrich Berger, Andrew Lawrence, Fredrik Nordvall Forsberg +1
This article is concerned with the application of the program extraction technique to a new class of problems: the synthesis of decision procedures for the classical satisfiability…