Inproceedings,

A Linear Programming Approach to Logical Inference.

.
ACM Conference on Computer Science, page 100-106. ACM, (1993)

Meta data

Tags

Users

  • @dblp

Comments and Reviews