A bird's eye view of [Razborov, Resolution Lower Bounds for the Weak Functional Pigeonhole Principle, 2003].
Theory and Practice
30 April 2018
20 April 2018
06 May 2017
07 February 2017
12 November 2015
Learning from Interpretations
The LFI-Problog algorithm, for doing inference on probabilistic logic programs.