Matches in SemOpenAlex for { <https://semopenalex.org/work/W2010300986> ?p ?o ?g. }
Showing items 1 to 47 of
47
with 100 items per page.
- W2010300986 endingPage "268" @default.
- W2010300986 startingPage "257" @default.
- W2010300986 abstract "In this paper, we introduce quantified weighted MAX-SAT (Q-W-MAX-SAT) as the problem of assigning values to existentially quantified variables permitted by order of quantification, so that the sum of the weights of satisfied clauses equals or exceeds a given threshold, for all combinations of all values of universally quantified variables. Q-W-MAX-SAT serves as a prototypical conditional decision-making problem in which satisfying all constraints is either impossible or unnecessary or satisfying some constraints is more important than satisfying some other constraints. We report on two branching heuristics and four simplification rules to solve Q-W-MAX-SAT efficiently, along with an empirical evaluation." @default.
- W2010300986 created "2016-06-24" @default.
- W2010300986 creator A5045526817 @default.
- W2010300986 date "2005-08-01" @default.
- W2010300986 modified "2023-09-23" @default.
- W2010300986 title "On quantified weighted MAX-SAT" @default.
- W2010300986 cites W145815032 @default.
- W2010300986 cites W14839205 @default.
- W2010300986 cites W1836852804 @default.
- W2010300986 cites W1862403209 @default.
- W2010300986 cites W2029229881 @default.
- W2010300986 cites W2043193943 @default.
- W2010300986 cites W2057361103 @default.
- W2010300986 cites W2135588736 @default.
- W2010300986 cites W3098378096 @default.
- W2010300986 doi "https://doi.org/10.1016/j.dss.2003.12.004" @default.
- W2010300986 hasPublicationYear "2005" @default.
- W2010300986 type Work @default.
- W2010300986 sameAs 2010300986 @default.
- W2010300986 citedByCount "1" @default.
- W2010300986 crossrefType "journal-article" @default.
- W2010300986 hasAuthorship W2010300986A5045526817 @default.
- W2010300986 hasConcept C28826006 @default.
- W2010300986 hasConcept C33923547 @default.
- W2010300986 hasConceptScore W2010300986C28826006 @default.
- W2010300986 hasConceptScore W2010300986C33923547 @default.
- W2010300986 hasIssue "2" @default.
- W2010300986 hasLocation W20103009861 @default.
- W2010300986 hasOpenAccess W2010300986 @default.
- W2010300986 hasPrimaryLocation W20103009861 @default.
- W2010300986 hasRelatedWork W1983663462 @default.
- W2010300986 hasRelatedWork W2010068234 @default.
- W2010300986 hasRelatedWork W2068654666 @default.
- W2010300986 hasRelatedWork W2089811522 @default.
- W2010300986 hasRelatedWork W2092244978 @default.
- W2010300986 hasRelatedWork W2126831439 @default.
- W2010300986 hasRelatedWork W2351859806 @default.
- W2010300986 hasRelatedWork W2613209927 @default.
- W2010300986 hasRelatedWork W4223981568 @default.
- W2010300986 hasRelatedWork W4239376463 @default.
- W2010300986 hasVolume "40" @default.
- W2010300986 isParatext "false" @default.
- W2010300986 isRetracted "false" @default.
- W2010300986 magId "2010300986" @default.
- W2010300986 workType "article" @default.