Knowledge Representation and Reasoning Conference
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning
Reading Tools
On Unit-Refutation Complete Formulae with Existentially Quantified Variables
Bordeaux, Janota, Marques-Silva, Marquis
Search conference