Semantic Relevance
Authors: Fajar Haifani and Christoph Weidenbach
Paper Information
| Title: | Semantic Relevance |
| Authors: | Fajar Haifani and Christoph Weidenbach |
| Proceedings: | IJCAR 2022 Proceedings of IJCAR 2022 |
| Editors: | Laura Kovacs, Jasmin Blanchette and Dirk Pattinson |
| Keywords: | relevance, minimal unsastisfiable set, propositional logic, first-order logic |
| Pages: | 20 |
| Talk: | Aug 09 14:35 (Session 104D: Proof Search and Generalizations) |
| Paper: |  |