2 citations · 5 across the 6 of their papers we have counts for
1 paper · 1 filter
John Hooker
This paper is an informal survey of some of the deep connections between logic and optimization. It covers George Boole's probability logic, decision diagrams, logic and cutting pl…