Matches in SemOpenAlex for { <https://semopenalex.org/work/W1547715614> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W1547715614 abstract "Many real-world problems require the ability of reasoning efficiently on formulae which are boolean combinations of boolean and unquantified mathematical propositions. This task requires a fruitful combination of efficient boolean reasoning and mathematical solving capabilities. SAT tools and mathematical reasoners are respectively very effective on one of these activities each, but not on both. In this paper we present a formal framework, a generalized algorithm and architecture for integrating boolean reasoners and mathematical solvers so that they can efficiently solve boolean combinations of boolean and unquantified mathematical propositions. We describe many techniques to optimize this integration, and highlight the main requirements for SAT tools and mathematicalsolvers to maximize the benefits of their integration." @default.
- W1547715614 created "2016-06-24" @default.
- W1547715614 creator A5017426974 @default.
- W1547715614 creator A5063062178 @default.
- W1547715614 creator A5064234632 @default.
- W1547715614 creator A5088301538 @default.
- W1547715614 creator A5090121372 @default.
- W1547715614 date "2003-01-01" @default.
- W1547715614 modified "2023-09-30" @default.
- W1547715614 title "Efficiently Integrating Boolean Reasoning and Mathematical Solving" @default.
- W1547715614 hasPublicationYear "2003" @default.
- W1547715614 type Work @default.
- W1547715614 sameAs 1547715614 @default.
- W1547715614 citedByCount "0" @default.
- W1547715614 crossrefType "journal-article" @default.
- W1547715614 hasAuthorship W1547715614A5017426974 @default.
- W1547715614 hasAuthorship W1547715614A5063062178 @default.
- W1547715614 hasAuthorship W1547715614A5064234632 @default.
- W1547715614 hasAuthorship W1547715614A5088301538 @default.
- W1547715614 hasAuthorship W1547715614A5090121372 @default.
- W1547715614 hasConcept C111797529 @default.
- W1547715614 hasConcept C11413529 @default.
- W1547715614 hasConcept C134444547 @default.
- W1547715614 hasConcept C158465420 @default.
- W1547715614 hasConcept C187455244 @default.
- W1547715614 hasConcept C196836630 @default.
- W1547715614 hasConcept C41008148 @default.
- W1547715614 hasConcept C80444323 @default.
- W1547715614 hasConceptScore W1547715614C111797529 @default.
- W1547715614 hasConceptScore W1547715614C11413529 @default.
- W1547715614 hasConceptScore W1547715614C134444547 @default.
- W1547715614 hasConceptScore W1547715614C158465420 @default.
- W1547715614 hasConceptScore W1547715614C187455244 @default.
- W1547715614 hasConceptScore W1547715614C196836630 @default.
- W1547715614 hasConceptScore W1547715614C41008148 @default.
- W1547715614 hasConceptScore W1547715614C80444323 @default.
- W1547715614 hasLocation W15477156141 @default.
- W1547715614 hasOpenAccess W1547715614 @default.
- W1547715614 hasPrimaryLocation W15477156141 @default.
- W1547715614 hasRelatedWork W1592466211 @default.
- W1547715614 hasRelatedWork W1936354298 @default.
- W1547715614 hasRelatedWork W1982238590 @default.
- W1547715614 hasRelatedWork W2092604010 @default.
- W1547715614 hasRelatedWork W2117005051 @default.
- W1547715614 hasRelatedWork W2135118930 @default.
- W1547715614 hasRelatedWork W2187211602 @default.
- W1547715614 hasRelatedWork W2227054253 @default.
- W1547715614 hasRelatedWork W2229701631 @default.
- W1547715614 hasRelatedWork W2258439038 @default.
- W1547715614 hasRelatedWork W2351708471 @default.
- W1547715614 hasRelatedWork W2394839833 @default.
- W1547715614 hasRelatedWork W2461501408 @default.
- W1547715614 hasRelatedWork W2950638330 @default.
- W1547715614 hasRelatedWork W2963483933 @default.
- W1547715614 hasRelatedWork W3105601959 @default.
- W1547715614 hasRelatedWork W3122241128 @default.
- W1547715614 hasRelatedWork W3151351286 @default.
- W1547715614 hasRelatedWork W71006734 @default.
- W1547715614 hasRelatedWork W2605063165 @default.
- W1547715614 isParatext "false" @default.
- W1547715614 isRetracted "false" @default.
- W1547715614 magId "1547715614" @default.
- W1547715614 workType "article" @default.