Search results
From MaRDI portal
- Paper Computing prime implicates by pruning the search space and accelerating subsumption 2018-02-13 Paper Identifying Prime Implicate Branches in Reduced...10 bytes (15 words) - 22:43, 24 September 2023
- review of: S. Arora and B. Barak, Computational complexity: a modern approach. 2014-10-24 Paper Boolean functions with long prime implicants 2014-04-14 Paper...10 bytes (15 words) - 18:44, 6 October 2023
- 2018-07-12 Paper Quantifying conflicts in propositional logic through prime implicates 2017-11-16 Paper Mining top-\(k\) motifs with a SAT-based framework...10 bytes (13 words) - 20:44, 11 December 2023
- 2018-07-12 Paper Quantifying conflicts in propositional logic through prime implicates 2017-11-16 Paper About some UP-based polynomial fragments of SAT 2017-03-06...10 bytes (13 words) - 20:44, 11 December 2023
- Representations of Matched Formulas 2015-01-14 Paper Boolean functions with long prime implicants 2014-04-14 Paper A decomposition method for CNF minimality proofs 2014-01-13...10 bytes (15 words) - 18:44, 6 October 2023
- of implicates and explanations 1993-12-10 Paper Revision in ACMS 1993-01-16 Paper An incremental method for generating prime implicants/implicates 1990-01-01...10 bytes (13 words) - 09:57, 6 October 2023
- semantics 1994-05-05 Paper An incremental method for generating prime implicants/implicates 1990-01-01 Paper...10 bytes (15 words) - 15:53, 12 December 2023
- mardi4nfdi.de/entity/Q4360109 1998-01-21 Paper CNF and DNF considered harmful for computing prime implicants/implicates 1997-09-17 Paper Fast subsumption checks...10 bytes (13 words) - 02:35, 25 September 2023
- Octonary Codes and their Covering Radii 2015-11-16 Paper An Incremental Algorithm for Computing Prime Implicates in Modal Logic 2014-04-16 Paper Prime implicants...10 bytes (15 words) - 12:37, 28 January 2024
- Publication Date of Publication Type CNF and DNF considered harmful for computing prime implicants/implicates 1997-09-17 Paper https://portal.mardi4nfdi...10 bytes (13 words) - 14:47, 24 September 2023
- 2004-06-22 Paper Unsupervised and supervised data classification via nonsmooth and global optimization (with comments and rejoinder) 2004-06-18 Paper First...10 bytes (12 words) - 11:30, 24 September 2023
- unsatisfiable subsets, minimal correction subsets, prime implicates and implicants, minimal models, backbone literals, and autarkies, among several others. In most...15 bytes (1,027 words) - 05:13, 1 February 2024
- Propositional belief base update and minimal change Propositional relevance through letter-sharing Prime Implicates and Prime Implicants: From Propositional to Modal...15 bytes (332 words) - 08:15, 30 January 2024
- Abstract: Prime implicates and prime implicants have proven relevant to a number of areas of artificial intelligence, most notably abductive reasoning and knowledge...15 bytes (407 words) - 06:19, 5 February 2024
- experiments POPPER'S QUALITATIVE THEORY OF VERISIMILITUDE Prime Implicates and Prime Implicants: From Propositional to Modal Logic A new theory of content...15 bytes (307 words) - 06:40, 10 July 2024
- Bayesianism, and relational confirmation ``For unto every one that hath shall be given. Matthew properties for incremental confirmation Prime Implicates and Prime...15 bytes (308 words) - 06:26, 30 January 2024
- revision Prime Implicates and Prime Implicants: From Propositional to Modal Logic Merging Logic Programs under Answer Set Semantics On Cores and Prime Implicants...15 bytes (426 words) - 03:47, 30 January 2024
- update and minimal change Belief tracking for planning with sensing: width, complexity and approximations Prime Implicates and Prime Implicants: From Propositional...15 bytes (369 words) - 20:12, 1 February 2024
- theory for specification and programming Jumping to explanations versus jumping to conclusions Prime Implicates and Prime Implicants: From Propositional to...15 bytes (383 words) - 06:41, 1 February 2024
- Top-down induction of first-order logical decision trees Prime Implicates and Prime Implicants: From Propositional to Modal Logic An efficient implementation...15 bytes (627 words) - 11:12, 8 February 2024
