Pages that link to "Item:Q4371669"

The following pages link to Knowledge compilation and theory approximation (Q4371669):

Displaying 3 items.

• A subclass of Horn CNFs optimally compressible in polynomial time (Q693287) (← links)
• Information loss in knowledge compilation: a comparison of Boolean envelopes (Q991010) (← links)
• Inter-definability of Horn contraction and Horn revision (Q2363417) (← links)