1 citations · 2 across the 2 of their papers we have counts for
3 papers
cs.DL2020
The OpenCitations Data Model
Marilena Daquino, Silvio Peroni, David Shotton +6
A variety of schemas and ontologies are currently used for the machine-readable description of bibliographic entities and citations. This diversity, and the reuse of the same ontol…
cs.DS2010★ 1 cited
Minimum and maximum against k lies
Michael Hoffmann, Jiří Matoušek, Yoshio Okamoto +1
A neat 1972 result of Pohl asserts that [3n/2]-2 comparisons are sufficient, and also necessary in the worst case, for finding both the minimum and the maximum of an n-element tota…
cs.DM2008★ 1 cited
Unsatisfiable CNF Formulas need many Conflicts
Dominik Scheder, Philipp Zumstein
A pair of clauses in a CNF formula constitutes a conflict if there is a variable that occurs positively in one clause and negatively in the other. A CNF formula without any conflic…