34 citations · 42 across the 7 of their papers we have counts for
1 paper · 1 filter
Shahab Tasharrofi, Xiongnan, Wu +1
The work we describe here is a part of a research program of developing foundations of declarative solving of search problems. We consider the model expansion task as the task repr…