FRINK Linked Data Fragments server

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

• W1595152591 endingPage "107" @default.
• W1595152591 startingPage "103" @default.
• W1595152591 abstract "This paper proposes new algorithms for the Binate Covering Problem (BCP), a well-known restriction of Boolean Optimization. Binate Covering finds application in many areas of Computer Science and Engineering. In Artificial Intelligence, BCP can be used for computing minimum-size prime implicants of Boolean functions, of interest in Automated Reasoning and Non-Monotonic Reasoning. Moreover, Binate Covering is an essential modeling tool in Electronic Design Automation. The objectives of the paper are to briefly review branch-and-bound algorithms for BCP, to describe how to apply backtrack search pruning techniques from the Boolean Satisfiability (SAT) domain to BCP, and to illustrate how to strengthen those pruning techniques by exploiting the actual formulation of BCP. Experimental results, obtained on representative instances indicate that the proposed techniques provide significant performance gains for different classes of instances." @default.
• W1595152591 created "2016-06-24" @default.
• W1595152591 creator A5002246957 @default.
• W1595152591 creator A5033377932 @default.
• W1595152591 date "2000-08-20" @default.
• W1595152591 modified "2023-09-26" @default.
• W1595152591 title "Search pruning conditions for Boolean Optimization" @default.
• W1595152591 cites W1511155470 @default.
• W1595152591 cites W1968143987 @default.
• W1595152591 cites W2048051309 @default.
• W1595152591 cites W2062897452 @default.
• W1595152591 cites W2082448265 @default.
• W1595152591 cites W2108637261 @default.
• W1595152591 cites W2110929033 @default.
• W1595152591 cites W2112192984 @default.
• W1595152591 cites W2122410182 @default.
• W1595152591 cites W2127856935 @default.
• W1595152591 cites W2154038545 @default.
• W1595152591 cites W2156081053 @default.
• W1595152591 cites W2169784877 @default.
• W1595152591 cites W2397058748 @default.
• W1595152591 cites W3045969830 @default.
• W1595152591 hasPublicationYear "2000" @default.
• W1595152591 type Work @default.
• W1595152591 sameAs 1595152591 @default.
• W1595152591 citedByCount "3" @default.
• W1595152591 crossrefType "proceedings-article" @default.
• W1595152591 hasAuthorship W1595152591A5002246957 @default.
• W1595152591 hasAuthorship W1595152591A5033377932 @default.
• W1595152591 hasConcept C108010975 @default.
• W1595152591 hasConcept C111797529 @default.
• W1595152591 hasConcept C11413529 @default.
• W1595152591 hasConcept C115901376 @default.
• W1595152591 hasConcept C127413603 @default.
• W1595152591 hasConcept C134306372 @default.
• W1595152591 hasConcept C141796577 @default.
• W1595152591 hasConcept C149635348 @default.
• W1595152591 hasConcept C154945302 @default.
• W1595152591 hasConcept C158465420 @default.
• W1595152591 hasConcept C187455244 @default.
• W1595152591 hasConcept C196836630 @default.
• W1595152591 hasConcept C33923547 @default.
• W1595152591 hasConcept C36503486 @default.
• W1595152591 hasConcept C41008148 @default.
• W1595152591 hasConcept C64260653 @default.
• W1595152591 hasConcept C6557445 @default.
• W1595152591 hasConcept C6943359 @default.
• W1595152591 hasConcept C78519656 @default.
• W1595152591 hasConcept C80444323 @default.
• W1595152591 hasConcept C86803240 @default.
• W1595152591 hasConcept C94992772 @default.
• W1595152591 hasConceptScore W1595152591C108010975 @default.
• W1595152591 hasConceptScore W1595152591C111797529 @default.
• W1595152591 hasConceptScore W1595152591C11413529 @default.
• W1595152591 hasConceptScore W1595152591C115901376 @default.
• W1595152591 hasConceptScore W1595152591C127413603 @default.
• W1595152591 hasConceptScore W1595152591C134306372 @default.
• W1595152591 hasConceptScore W1595152591C141796577 @default.
• W1595152591 hasConceptScore W1595152591C149635348 @default.
• W1595152591 hasConceptScore W1595152591C154945302 @default.
• W1595152591 hasConceptScore W1595152591C158465420 @default.
• W1595152591 hasConceptScore W1595152591C187455244 @default.
• W1595152591 hasConceptScore W1595152591C196836630 @default.
• W1595152591 hasConceptScore W1595152591C33923547 @default.
• W1595152591 hasConceptScore W1595152591C36503486 @default.
• W1595152591 hasConceptScore W1595152591C41008148 @default.
• W1595152591 hasConceptScore W1595152591C64260653 @default.
• W1595152591 hasConceptScore W1595152591C6557445 @default.
• W1595152591 hasConceptScore W1595152591C6943359 @default.
• W1595152591 hasConceptScore W1595152591C78519656 @default.
• W1595152591 hasConceptScore W1595152591C80444323 @default.
• W1595152591 hasConceptScore W1595152591C86803240 @default.
• W1595152591 hasConceptScore W1595152591C94992772 @default.
• W1595152591 hasLocation W15951525911 @default.
• W1595152591 hasOpenAccess W1595152591 @default.
• W1595152591 hasPrimaryLocation W15951525911 @default.
• W1595152591 hasRelatedWork W1515758948 @default.
• W1595152591 hasRelatedWork W1622856160 @default.
• W1595152591 hasRelatedWork W1637854328 @default.
• W1595152591 hasRelatedWork W1949943063 @default.
• W1595152591 hasRelatedWork W2029631214 @default.
• W1595152591 hasRelatedWork W2055792046 @default.
• W1595152591 hasRelatedWork W2063347547 @default.
• W1595152591 hasRelatedWork W2071559752 @default.
• W1595152591 hasRelatedWork W2072795735 @default.
• W1595152591 hasRelatedWork W2102614359 @default.
• W1595152591 hasRelatedWork W2116599147 @default.
• W1595152591 hasRelatedWork W2119847683 @default.
• W1595152591 hasRelatedWork W2125047455 @default.
• W1595152591 hasRelatedWork W2142785340 @default.
• W1595152591 hasRelatedWork W2150255755 @default.
• W1595152591 hasRelatedWork W2153490237 @default.
• W1595152591 hasRelatedWork W2397058748 @default.
• W1595152591 hasRelatedWork W2952971384 @default.
• W1595152591 hasRelatedWork W3111697597 @default.
• W1595152591 hasRelatedWork W3194654861 @default.
• W1595152591 isParatext "false" @default.
• W1595152591 isRetracted "false" @default.

• next