Matches in SemOpenAlex for { <https://semopenalex.org/work/W1583535759> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W1583535759 abstract "We introduce a decision procedure for satisfiability of equivalence logic formulas with uninterpreted functions and predicates. In a previous work ([PRSS99]) we presented a decision procedure for this problem which started by reducing the formula into a formula in equality logic. As a second step, the formula structure was analyzed in order to derive a small range of values for each variable that is sufficient for preserving the formula's satisfiability. Then, a standard BDD based tool was used in order to check the formula under the new small domain. In this paper we change the reduction method and perform a more careful analysis of the formula, which results in significantly smaller domains. Both theoretical and experimental results show that the new method is superior to the previous one and to the method suggested in [BGV99]." @default.
- W1583535759 created "2016-06-24" @default.
- W1583535759 creator A5004968465 @default.
- W1583535759 creator A5086834756 @default.
- W1583535759 date "2001-01-01" @default.
- W1583535759 modified "2023-09-23" @default.
- W1583535759 title "Finite Instantiations in Equivalence Logic with Uninterpreted Functions" @default.
- W1583535759 cites W2950805470 @default.
- W1583535759 doi "https://doi.org/10.1007/3-540-44585-4_13" @default.
- W1583535759 hasPublicationYear "2001" @default.
- W1583535759 type Work @default.
- W1583535759 sameAs 1583535759 @default.
- W1583535759 citedByCount "12" @default.
- W1583535759 crossrefType "book-chapter" @default.
- W1583535759 hasAuthorship W1583535759A5004968465 @default.
- W1583535759 hasAuthorship W1583535759A5086834756 @default.
- W1583535759 hasBestOaLocation W15835357591 @default.
- W1583535759 hasConcept C100481476 @default.
- W1583535759 hasConcept C111335779 @default.
- W1583535759 hasConcept C11413529 @default.
- W1583535759 hasConcept C118615104 @default.
- W1583535759 hasConcept C159985019 @default.
- W1583535759 hasConcept C168773769 @default.
- W1583535759 hasConcept C192562407 @default.
- W1583535759 hasConcept C199360897 @default.
- W1583535759 hasConcept C204323151 @default.
- W1583535759 hasConcept C2524010 @default.
- W1583535759 hasConcept C2780069185 @default.
- W1583535759 hasConcept C33923547 @default.
- W1583535759 hasConcept C41008148 @default.
- W1583535759 hasConcept C6943359 @default.
- W1583535759 hasConcept C80444323 @default.
- W1583535759 hasConceptScore W1583535759C100481476 @default.
- W1583535759 hasConceptScore W1583535759C111335779 @default.
- W1583535759 hasConceptScore W1583535759C11413529 @default.
- W1583535759 hasConceptScore W1583535759C118615104 @default.
- W1583535759 hasConceptScore W1583535759C159985019 @default.
- W1583535759 hasConceptScore W1583535759C168773769 @default.
- W1583535759 hasConceptScore W1583535759C192562407 @default.
- W1583535759 hasConceptScore W1583535759C199360897 @default.
- W1583535759 hasConceptScore W1583535759C204323151 @default.
- W1583535759 hasConceptScore W1583535759C2524010 @default.
- W1583535759 hasConceptScore W1583535759C2780069185 @default.
- W1583535759 hasConceptScore W1583535759C33923547 @default.
- W1583535759 hasConceptScore W1583535759C41008148 @default.
- W1583535759 hasConceptScore W1583535759C6943359 @default.
- W1583535759 hasConceptScore W1583535759C80444323 @default.
- W1583535759 hasLocation W15835357591 @default.
- W1583535759 hasOpenAccess W1583535759 @default.
- W1583535759 hasPrimaryLocation W15835357591 @default.
- W1583535759 hasRelatedWork W143215475 @default.
- W1583535759 hasRelatedWork W1542298067 @default.
- W1583535759 hasRelatedWork W1557933505 @default.
- W1583535759 hasRelatedWork W1570783318 @default.
- W1583535759 hasRelatedWork W1572729891 @default.
- W1583535759 hasRelatedWork W1741528175 @default.
- W1583535759 hasRelatedWork W1929502661 @default.
- W1583535759 hasRelatedWork W1979840340 @default.
- W1583535759 hasRelatedWork W2021915358 @default.
- W1583535759 hasRelatedWork W2027602125 @default.
- W1583535759 hasRelatedWork W2044558209 @default.
- W1583535759 hasRelatedWork W2080267935 @default.
- W1583535759 hasRelatedWork W2104115705 @default.
- W1583535759 hasRelatedWork W2118154221 @default.
- W1583535759 hasRelatedWork W2136708886 @default.
- W1583535759 hasRelatedWork W2157324300 @default.
- W1583535759 hasRelatedWork W2165775376 @default.
- W1583535759 hasRelatedWork W2465965628 @default.
- W1583535759 hasRelatedWork W2518958905 @default.
- W1583535759 hasRelatedWork W2522982407 @default.
- W1583535759 isParatext "false" @default.
- W1583535759 isRetracted "false" @default.
- W1583535759 magId "1583535759" @default.
- W1583535759 workType "book-chapter" @default.