Matches in SemOpenAlex for { <https://semopenalex.org/work/W37382880> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W37382880 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 branchand-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.
- W37382880 created "2016-06-24" @default.
- W37382880 creator A5002246957 @default.
- W37382880 creator A5033377932 @default.
- W37382880 date "2008-01-01" @default.
- W37382880 modified "2023-09-26" @default.
- W37382880 title "Conditions for Non-Chronological Backtracking in Boolean Optimization" @default.
- W37382880 cites W1511155470 @default.
- W37382880 cites W1968143987 @default.
- W37382880 cites W2048051309 @default.
- W37382880 cites W2062897452 @default.
- W37382880 cites W2082448265 @default.
- W37382880 cites W2108637261 @default.
- W37382880 cites W2110929033 @default.
- W37382880 cites W2112192984 @default.
- W37382880 cites W2122410182 @default.
- W37382880 cites W2127856935 @default.
- W37382880 cites W2154038545 @default.
- W37382880 cites W2156081053 @default.
- W37382880 cites W2169784877 @default.
- W37382880 cites W3045969830 @default.
- W37382880 hasPublicationYear "2008" @default.
- W37382880 type Work @default.
- W37382880 sameAs 37382880 @default.
- W37382880 citedByCount "0" @default.
- W37382880 crossrefType "journal-article" @default.
- W37382880 hasAuthorship W37382880A5002246957 @default.
- W37382880 hasAuthorship W37382880A5033377932 @default.
- W37382880 hasConcept C108010975 @default.
- W37382880 hasConcept C111797529 @default.
- W37382880 hasConcept C11413529 @default.
- W37382880 hasConcept C134306372 @default.
- W37382880 hasConcept C154945302 @default.
- W37382880 hasConcept C156884757 @default.
- W37382880 hasConcept C158465420 @default.
- W37382880 hasConcept C187455244 @default.
- W37382880 hasConcept C196836630 @default.
- W37382880 hasConcept C199622910 @default.
- W37382880 hasConcept C200415742 @default.
- W37382880 hasConcept C33923547 @default.
- W37382880 hasConcept C36503486 @default.
- W37382880 hasConcept C41008148 @default.
- W37382880 hasConcept C49937458 @default.
- W37382880 hasConcept C6557445 @default.
- W37382880 hasConcept C6943359 @default.
- W37382880 hasConcept C80444323 @default.
- W37382880 hasConcept C86803240 @default.
- W37382880 hasConceptScore W37382880C108010975 @default.
- W37382880 hasConceptScore W37382880C111797529 @default.
- W37382880 hasConceptScore W37382880C11413529 @default.
- W37382880 hasConceptScore W37382880C134306372 @default.
- W37382880 hasConceptScore W37382880C154945302 @default.
- W37382880 hasConceptScore W37382880C156884757 @default.
- W37382880 hasConceptScore W37382880C158465420 @default.
- W37382880 hasConceptScore W37382880C187455244 @default.
- W37382880 hasConceptScore W37382880C196836630 @default.
- W37382880 hasConceptScore W37382880C199622910 @default.
- W37382880 hasConceptScore W37382880C200415742 @default.
- W37382880 hasConceptScore W37382880C33923547 @default.
- W37382880 hasConceptScore W37382880C36503486 @default.
- W37382880 hasConceptScore W37382880C41008148 @default.
- W37382880 hasConceptScore W37382880C49937458 @default.
- W37382880 hasConceptScore W37382880C6557445 @default.
- W37382880 hasConceptScore W37382880C6943359 @default.
- W37382880 hasConceptScore W37382880C80444323 @default.
- W37382880 hasConceptScore W37382880C86803240 @default.
- W37382880 hasLocation W373828801 @default.
- W37382880 hasOpenAccess W37382880 @default.
- W37382880 hasPrimaryLocation W373828801 @default.
- W37382880 hasRelatedWork W1037894422 @default.
- W37382880 hasRelatedWork W1527272568 @default.
- W37382880 hasRelatedWork W1992019111 @default.
- W37382880 hasRelatedWork W2028298559 @default.
- W37382880 hasRelatedWork W203529317 @default.
- W37382880 hasRelatedWork W2039485990 @default.
- W37382880 hasRelatedWork W2041221011 @default.
- W37382880 hasRelatedWork W2110737535 @default.
- W37382880 hasRelatedWork W2116523693 @default.
- W37382880 hasRelatedWork W2139837902 @default.
- W37382880 hasRelatedWork W2149007710 @default.
- W37382880 hasRelatedWork W2149693580 @default.
- W37382880 hasRelatedWork W2254161830 @default.
- W37382880 hasRelatedWork W2505627961 @default.
- W37382880 hasRelatedWork W2751830479 @default.
- W37382880 hasRelatedWork W2901081291 @default.
- W37382880 hasRelatedWork W3095638317 @default.
- W37382880 hasRelatedWork W3141453345 @default.
- W37382880 hasRelatedWork W2182003262 @default.
- W37382880 hasRelatedWork W2338160780 @default.
- W37382880 isParatext "false" @default.
- W37382880 isRetracted "false" @default.
- W37382880 magId "37382880" @default.
- W37382880 workType "article" @default.