FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
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: