The following pages link to (Q3789107):
Displaying 6 items.
- A decomposition method for CNF minimality proofs (Q392185) (← links)
- A subclass of Horn CNFs optimally compressible in polynomial time (Q693287) (← links)
- Recognition of interval Boolean functions (Q1029585) (← links)
- Truth maintenance systems and their application for verifying expert system knowledge bases (Q1193853) (← links)
- Fuzzy logic -- a personal perspective (Q2014415) (← links)
- Markov logic networks (Q2491364) (← links)