33 citations · 33 across the 1 of their papers we have counts for
1 paper
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…