About a Proof Pearl: A Purported Solution to a POPLMARK Challenge Problem that is Not One.

Gopalan Nadathur

Published in: CoRR (2021)

Keyphrases

linear equations
integer programming
information systems
image processing
optimal solution
real world
proof theory
data sets
case study
markov random field
graphical models