Matches in SemOpenAlex for { <https://semopenalex.org/work/W1512367057> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1512367057 abstract "We consider the problem of elimination of existential quantifiers from a Boolean CNF formula. Our approach is based on the following observation. One can get rid of dependency on a set of variables of a quantified CNF formula F by adding resolvent clauses of F eliminating boundary points. This approach is similar to the method of quantifier elimination described in [9]. The difference of the method described in the present paper is twofold: {bullet} branching is performed only on quantified variables, {bullet} an explicit search for boundary points is performed by calls to a SAT-solver Although we published the paper [9] before this one, chrono- logically the method of the present report was developed first. Preliminary presentations of this method were made in [10], [11]. We postponed a publication of this method due to preparation of a patent application [8]." @default.
- W1512367057 created "2016-06-24" @default.
- W1512367057 creator A5028069935 @default.
- W1512367057 creator A5050250788 @default.
- W1512367057 date "2012-04-08" @default.
- W1512367057 modified "2023-09-27" @default.
- W1512367057 title "Removal of Quantifiers by Elimination of Boundary Points" @default.
- W1512367057 cites W1503170978 @default.
- W1512367057 cites W1510368738 @default.
- W1512367057 cites W1516564968 @default.
- W1512367057 cites W1604167085 @default.
- W1512367057 cites W1715905317 @default.
- W1512367057 cites W2062897452 @default.
- W1512367057 cites W2080267935 @default.
- W1512367057 cites W2097023195 @default.
- W1512367057 cites W2121863021 @default.
- W1512367057 cites W2137971418 @default.
- W1512367057 cites W2151398141 @default.
- W1512367057 cites W221370897 @default.
- W1512367057 cites W2340735175 @default.
- W1512367057 cites W2913459036 @default.
- W1512367057 cites W2949847806 @default.
- W1512367057 hasPublicationYear "2012" @default.
- W1512367057 type Work @default.
- W1512367057 sameAs 1512367057 @default.
- W1512367057 citedByCount "2" @default.
- W1512367057 countsByYear W15123670572012 @default.
- W1512367057 countsByYear W15123670572019 @default.
- W1512367057 crossrefType "posted-content" @default.
- W1512367057 hasAuthorship W1512367057A5028069935 @default.
- W1512367057 hasAuthorship W1512367057A5050250788 @default.
- W1512367057 hasConcept C11413529 @default.
- W1512367057 hasConcept C118615104 @default.
- W1512367057 hasConcept C134306372 @default.
- W1512367057 hasConcept C136119220 @default.
- W1512367057 hasConcept C177264268 @default.
- W1512367057 hasConcept C199360897 @default.
- W1512367057 hasConcept C200415742 @default.
- W1512367057 hasConcept C202444582 @default.
- W1512367057 hasConcept C2778770139 @default.
- W1512367057 hasConcept C32278780 @default.
- W1512367057 hasConcept C33923547 @default.
- W1512367057 hasConcept C41008148 @default.
- W1512367057 hasConcept C62354387 @default.
- W1512367057 hasConcept C6943359 @default.
- W1512367057 hasConcept C7342684 @default.
- W1512367057 hasConceptScore W1512367057C11413529 @default.
- W1512367057 hasConceptScore W1512367057C118615104 @default.
- W1512367057 hasConceptScore W1512367057C134306372 @default.
- W1512367057 hasConceptScore W1512367057C136119220 @default.
- W1512367057 hasConceptScore W1512367057C177264268 @default.
- W1512367057 hasConceptScore W1512367057C199360897 @default.
- W1512367057 hasConceptScore W1512367057C200415742 @default.
- W1512367057 hasConceptScore W1512367057C202444582 @default.
- W1512367057 hasConceptScore W1512367057C2778770139 @default.
- W1512367057 hasConceptScore W1512367057C32278780 @default.
- W1512367057 hasConceptScore W1512367057C33923547 @default.
- W1512367057 hasConceptScore W1512367057C41008148 @default.
- W1512367057 hasConceptScore W1512367057C62354387 @default.
- W1512367057 hasConceptScore W1512367057C6943359 @default.
- W1512367057 hasConceptScore W1512367057C7342684 @default.
- W1512367057 hasLocation W15123670571 @default.
- W1512367057 hasOpenAccess W1512367057 @default.
- W1512367057 hasPrimaryLocation W15123670571 @default.
- W1512367057 hasRelatedWork W121177627 @default.
- W1512367057 hasRelatedWork W1524103539 @default.
- W1512367057 hasRelatedWork W1558518027 @default.
- W1512367057 hasRelatedWork W1558754698 @default.
- W1512367057 hasRelatedWork W1603182045 @default.
- W1512367057 hasRelatedWork W1813686459 @default.
- W1512367057 hasRelatedWork W1976916248 @default.
- W1512367057 hasRelatedWork W2013702670 @default.
- W1512367057 hasRelatedWork W2035631589 @default.
- W1512367057 hasRelatedWork W2040951317 @default.
- W1512367057 hasRelatedWork W2093850840 @default.
- W1512367057 hasRelatedWork W2130012710 @default.
- W1512367057 hasRelatedWork W2166075612 @default.
- W1512367057 hasRelatedWork W2302571856 @default.
- W1512367057 hasRelatedWork W2368219044 @default.
- W1512367057 hasRelatedWork W2737488163 @default.
- W1512367057 hasRelatedWork W3046029616 @default.
- W1512367057 hasRelatedWork W3162379774 @default.
- W1512367057 hasRelatedWork W2507675125 @default.
- W1512367057 hasRelatedWork W3095068681 @default.
- W1512367057 isParatext "false" @default.
- W1512367057 isRetracted "false" @default.
- W1512367057 magId "1512367057" @default.
- W1512367057 workType "article" @default.