FRINK Linked Data Fragments server

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

• W180925943 endingPage "217" @default.
• W180925943 startingPage "191" @default.
• W180925943 abstract "We analyze, in this work, the performance of a recently introduced weighted Max-SAT solver, Clone, in the Max-SAT evaluation 2007. Clone utilizes a novel bound computation based on formula compilation that allows it to search in a reduced search space. We study how additional techniques from the SAT and Max-SAT literature affect the performance of Clone on problems from the evaluation. We then perform further investigations on factors that may affect the performance of leading Max-SAT solvers. We empirically identify two properties of weighted Max-SAT problems that can be used to adjust the difficulty level of the problems with respect to the considered solvers." @default.
• W180925943 created "2016-06-24" @default.
• W180925943 creator A5008262297 @default.
• W180925943 creator A5027252816 @default.
• W180925943 creator A5040084346 @default.
• W180925943 creator A5057671995 @default.
• W180925943 creator A5063715871 @default.
• W180925943 date "2008-06-01" @default.
• W180925943 modified "2023-10-16" @default.
• W180925943 title "Solving Weighted Max-SAT Problems in a Reduced Search Space: A Performance Analysis1" @default.
• W180925943 cites W1496690584 @default.
• W180925943 cites W1500096942 @default.
• W180925943 cites W1518705996 @default.
• W180925943 cites W1524741427 @default.
• W180925943 cites W1531103278 @default.
• W180925943 cites W1535956448 @default.
• W180925943 cites W1539228153 @default.
• W180925943 cites W1569133313 @default.
• W180925943 cites W1640763397 @default.
• W180925943 cites W1776207179 @default.
• W180925943 cites W1793843726 @default.
• W180925943 cites W1889633121 @default.
• W180925943 cites W1979746590 @default.
• W180925943 cites W1986660301 @default.
• W180925943 cites W2026630111 @default.
• W180925943 cites W203133358 @default.
• W180925943 cites W2033937366 @default.
• W180925943 cites W2038118137 @default.
• W180925943 cites W2044560939 @default.
• W180925943 cites W2057299863 @default.
• W180925943 cites W2085861234 @default.
• W180925943 cites W2096307462 @default.
• W180925943 cites W2108637261 @default.
• W180925943 cites W2121957284 @default.
• W180925943 cites W2125720043 @default.
• W180925943 cites W2127856935 @default.
• W180925943 cites W2135432705 @default.
• W180925943 cites W2140138589 @default.
• W180925943 cites W2141199709 @default.
• W180925943 cites W2142785340 @default.
• W180925943 cites W2151398141 @default.
• W180925943 cites W2153935965 @default.
• W180925943 cites W2154593562 @default.
• W180925943 cites W2159080219 @default.
• W180925943 cites W2337098149 @default.
• W180925943 cites W46786713 @default.
• W180925943 cites W594514321 @default.
• W180925943 cites W87126228 @default.
• W180925943 doi "https://doi.org/10.3233/sat190044" @default.
• W180925943 hasPublicationYear "2008" @default.
• W180925943 type Work @default.
• W180925943 sameAs 180925943 @default.
• W180925943 citedByCount "21" @default.
• W180925943 countsByYear W1809259432012 @default.
• W180925943 countsByYear W1809259432013 @default.
• W180925943 countsByYear W1809259432016 @default.
• W180925943 countsByYear W1809259432020 @default.
• W180925943 countsByYear W1809259432023 @default.
• W180925943 crossrefType "journal-article" @default.
• W180925943 hasAuthorship W180925943A5008262297 @default.
• W180925943 hasAuthorship W180925943A5027252816 @default.
• W180925943 hasAuthorship W180925943A5040084346 @default.
• W180925943 hasAuthorship W180925943A5057671995 @default.
• W180925943 hasAuthorship W180925943A5063715871 @default.
• W180925943 hasBestOaLocation W1809259431 @default.
• W180925943 hasConcept C111919701 @default.
• W180925943 hasConcept C11413529 @default.
• W180925943 hasConcept C114614502 @default.
• W180925943 hasConcept C126255220 @default.
• W180925943 hasConcept C2778572836 @default.
• W180925943 hasConcept C33923547 @default.
• W180925943 hasConcept C41008148 @default.
• W180925943 hasConcept C94375191 @default.
• W180925943 hasConceptScore W180925943C111919701 @default.
• W180925943 hasConceptScore W180925943C11413529 @default.
• W180925943 hasConceptScore W180925943C114614502 @default.
• W180925943 hasConceptScore W180925943C126255220 @default.
• W180925943 hasConceptScore W180925943C2778572836 @default.
• W180925943 hasConceptScore W180925943C33923547 @default.
• W180925943 hasConceptScore W180925943C41008148 @default.
• W180925943 hasConceptScore W180925943C94375191 @default.
• W180925943 hasIssue "2-4" @default.
• W180925943 hasLocation W1809259431 @default.
• W180925943 hasOpenAccess W180925943 @default.
• W180925943 hasPrimaryLocation W1809259431 @default.
• W180925943 hasRelatedWork W1978042415 @default.
• W180925943 hasRelatedWork W2017331178 @default.
• W180925943 hasRelatedWork W2335699373 @default.
• W180925943 hasRelatedWork W2351491280 @default.
• W180925943 hasRelatedWork W2386767533 @default.
• W180925943 hasRelatedWork W241866648 @default.
• W180925943 hasRelatedWork W2963339245 @default.
• W180925943 hasRelatedWork W2976797620 @default.
• W180925943 hasRelatedWork W303980170 @default.
• W180925943 hasRelatedWork W3086542228 @default.
• W180925943 hasVolume "4" @default.
• W180925943 isParatext "false" @default.
• W180925943 isRetracted "false" @default.

• next