FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W21735963> ?p ?o ?g. }

• W21735963 abstract "A Boolean formula in conjunctive normal form (CNF) is called matched if the system of sets of variables which appear in individual clauses has a system of distinct representatives. Each matched CNF is trivially satisfiable (each clause can be satisfied by its representative variable). Another property which is easy to see, is that the class of matched CNFs is not closed under partial assignment of truth values to variables. This latter property leads to a fact (proved here) that given two matched CNFs it is co-NP complete to decide whether they are logically equivalent. The construction in this proof leads to another result: a much shorter and simpler proof of the fact that the Boolean minimization problem for matched CNFs is a complete problem for the second level of the polynomial hierarchy. The main result of this paper deals with the structure of clause minimum CNFs. We prove here that if a Boolean function f admits a representation by a matched CNF then every clause minimum CNF representation of f is matched." @default.
• W21735963 created "2016-06-24" @default.
• W21735963 creator A5025998441 @default.
• W21735963 creator A5059158185 @default.
• W21735963 creator A5085856938 @default.
• W21735963 date "2014-12-23" @default.
• W21735963 modified "2023-10-12" @default.
• W21735963 title "On Minimum Representations of Matched Formulas" @default.
• W21735963 cites W140130170 @default.
• W21735963 cites W1493350325 @default.
• W21735963 cites W1522029489 @default.
• W21735963 cites W1556415569 @default.
• W21735963 cites W1570425181 @default.
• W21735963 cites W1570891932 @default.
• W21735963 cites W1940223960 @default.
• W21735963 cites W1970251068 @default.
• W21735963 cites W1988718922 @default.
• W21735963 cites W1990216234 @default.
• W21735963 cites W1999427653 @default.
• W21735963 cites W2003979824 @default.
• W21735963 cites W2011039300 @default.
• W21735963 cites W2012170877 @default.
• W21735963 cites W2012644520 @default.
• W21735963 cites W2014111643 @default.
• W21735963 cites W2015211698 @default.
• W21735963 cites W2042705674 @default.
• W21735963 cites W2046132190 @default.
• W21735963 cites W2061936891 @default.
• W21735963 cites W2063292248 @default.
• W21735963 cites W2070023605 @default.
• W21735963 cites W2070658982 @default.
• W21735963 cites W2075024586 @default.
• W21735963 cites W2083975113 @default.
• W21735963 cites W2104025390 @default.
• W21735963 cites W2108552370 @default.
• W21735963 cites W2118105153 @default.
• W21735963 cites W2130402533 @default.
• W21735963 cites W2133527541 @default.
• W21735963 cites W2141191281 @default.
• W21735963 cites W3043060850 @default.
• W21735963 cites W36639738 @default.
• W21735963 cites W2002252750 @default.
• W21735963 cites W2891212941 @default.
• W21735963 doi "https://doi.org/10.1613/jair.4517" @default.
• W21735963 hasPublicationYear "2014" @default.
• W21735963 type Work @default.
• W21735963 sameAs 21735963 @default.
• W21735963 citedByCount "0" @default.
• W21735963 crossrefType "journal-article" @default.
• W21735963 hasAuthorship W21735963A5025998441 @default.
• W21735963 hasAuthorship W21735963A5059158185 @default.
• W21735963 hasAuthorship W21735963A5085856938 @default.
• W21735963 hasBestOaLocation W217359631 @default.
• W21735963 hasConcept C111472728 @default.
• W21735963 hasConcept C114614502 @default.
• W21735963 hasConcept C118615104 @default.
• W21735963 hasConcept C134306372 @default.
• W21735963 hasConcept C136726353 @default.
• W21735963 hasConcept C138885662 @default.
• W21735963 hasConcept C14036430 @default.
• W21735963 hasConcept C154945302 @default.
• W21735963 hasConcept C16221470 @default.
• W21735963 hasConcept C17231256 @default.
• W21735963 hasConcept C17744445 @default.
• W21735963 hasConcept C187455244 @default.
• W21735963 hasConcept C189950617 @default.
• W21735963 hasConcept C199539241 @default.
• W21735963 hasConcept C2776359362 @default.
• W21735963 hasConcept C2777212361 @default.
• W21735963 hasConcept C33923547 @default.
• W21735963 hasConcept C41008148 @default.
• W21735963 hasConcept C7342684 @default.
• W21735963 hasConcept C78458016 @default.
• W21735963 hasConcept C86803240 @default.
• W21735963 hasConcept C94625758 @default.
• W21735963 hasConceptScore W21735963C111472728 @default.
• W21735963 hasConceptScore W21735963C114614502 @default.
• W21735963 hasConceptScore W21735963C118615104 @default.
• W21735963 hasConceptScore W21735963C134306372 @default.
• W21735963 hasConceptScore W21735963C136726353 @default.
• W21735963 hasConceptScore W21735963C138885662 @default.
• W21735963 hasConceptScore W21735963C14036430 @default.
• W21735963 hasConceptScore W21735963C154945302 @default.
• W21735963 hasConceptScore W21735963C16221470 @default.
• W21735963 hasConceptScore W21735963C17231256 @default.
• W21735963 hasConceptScore W21735963C17744445 @default.
• W21735963 hasConceptScore W21735963C187455244 @default.
• W21735963 hasConceptScore W21735963C189950617 @default.
• W21735963 hasConceptScore W21735963C199539241 @default.
• W21735963 hasConceptScore W21735963C2776359362 @default.
• W21735963 hasConceptScore W21735963C2777212361 @default.
• W21735963 hasConceptScore W21735963C33923547 @default.
• W21735963 hasConceptScore W21735963C41008148 @default.
• W21735963 hasConceptScore W21735963C7342684 @default.
• W21735963 hasConceptScore W21735963C78458016 @default.
• W21735963 hasConceptScore W21735963C86803240 @default.
• W21735963 hasConceptScore W21735963C94625758 @default.
• W21735963 hasLocation W217359631 @default.
• W21735963 hasOpenAccess W21735963 @default.
• W21735963 hasPrimaryLocation W217359631 @default.

• next