FRINK Linked Data Fragments server

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

• W2106723556 abstract "Stochastic local search is one of the most successful methods for model finding in propositional satisfiability. However, many combinatorial problems have no concise propositional encoding. In this paper, we show that domain-independent local search for satisfiability (Walksat) can be generalized to handle systems of linear pseudo-Boolean (O-l integer) constraints, a representation that is widely used in operations research. We introduce the algorithm W SAT (%‘B) and demonstrate its potential in two case studies. The first application is an optimization problem from radar surveillance. Experiments on problems of realistic size show that WSAT (PI?) is an efficient heuristic to find good approximate solutions. For most of the test problems, it found provably optimal solutions. In the second case study, we show that pseudoBoolean local search can efficiently solve the progressive party problem, a problem that is hard for constraint programming with chronological backtracking, and whose O-l encoding is beyond the size limitations of integer linear programming." @default.
• W2106723556 created "2016-06-24" @default.
• W2106723556 creator A5058591971 @default.
• W2106723556 date "1997-01-01" @default.
• W2106723556 modified "2023-09-27" @default.
• W2106723556 title "Solving Linear Pseudo-Boolean Co" @default.
• W2106723556 cites W139325465 @default.
• W2106723556 cites W1513769081 @default.
• W2106723556 cites W1560939078 @default.
• W2106723556 cites W1600919542 @default.
• W2106723556 cites W1667614912 @default.
• W2106723556 cites W1700222499 @default.
• W2106723556 cites W1967970073 @default.
• W2106723556 cites W1980985059 @default.
• W2106723556 cites W2026106837 @default.
• W2106723556 cites W2068939774 @default.
• W2106723556 cites W2165372647 @default.
• W2106723556 cites W2339500526 @default.
• W2106723556 cites W2761798304 @default.
• W2106723556 cites W4326551 @default.
• W2106723556 cites W2289908220 @default.
• W2106723556 cites W2467711735 @default.
• W2106723556 hasPublicationYear "1997" @default.
• W2106723556 type Work @default.
• W2106723556 sameAs 2106723556 @default.
• W2106723556 citedByCount "0" @default.
• W2106723556 crossrefType "journal-article" @default.
• W2106723556 hasAuthorship W2106723556A5058591971 @default.
• W2106723556 hasConcept C111797529 @default.
• W2106723556 hasConcept C11413529 @default.
• W2106723556 hasConcept C118615104 @default.
• W2106723556 hasConcept C126255220 @default.
• W2106723556 hasConcept C12707504 @default.
• W2106723556 hasConcept C134306372 @default.
• W2106723556 hasConcept C134652429 @default.
• W2106723556 hasConcept C135320971 @default.
• W2106723556 hasConcept C137631369 @default.
• W2106723556 hasConcept C143936061 @default.
• W2106723556 hasConcept C154945302 @default.
• W2106723556 hasConcept C156884757 @default.
• W2106723556 hasConcept C173404611 @default.
• W2106723556 hasConcept C173801870 @default.
• W2106723556 hasConcept C187455244 @default.
• W2106723556 hasConcept C199622910 @default.
• W2106723556 hasConcept C33923547 @default.
• W2106723556 hasConcept C36503486 @default.
• W2106723556 hasConcept C41008148 @default.
• W2106723556 hasConcept C41045048 @default.
• W2106723556 hasConcept C44616089 @default.
• W2106723556 hasConcept C49937458 @default.
• W2106723556 hasConcept C56086750 @default.
• W2106723556 hasConcept C6943359 @default.
• W2106723556 hasConcept C69562738 @default.
• W2106723556 hasConcept C76155785 @default.
• W2106723556 hasConcept C80444323 @default.
• W2106723556 hasConceptScore W2106723556C111797529 @default.
• W2106723556 hasConceptScore W2106723556C11413529 @default.
• W2106723556 hasConceptScore W2106723556C118615104 @default.
• W2106723556 hasConceptScore W2106723556C126255220 @default.
• W2106723556 hasConceptScore W2106723556C12707504 @default.
• W2106723556 hasConceptScore W2106723556C134306372 @default.
• W2106723556 hasConceptScore W2106723556C134652429 @default.
• W2106723556 hasConceptScore W2106723556C135320971 @default.
• W2106723556 hasConceptScore W2106723556C137631369 @default.
• W2106723556 hasConceptScore W2106723556C143936061 @default.
• W2106723556 hasConceptScore W2106723556C154945302 @default.
• W2106723556 hasConceptScore W2106723556C156884757 @default.
• W2106723556 hasConceptScore W2106723556C173404611 @default.
• W2106723556 hasConceptScore W2106723556C173801870 @default.
• W2106723556 hasConceptScore W2106723556C187455244 @default.
• W2106723556 hasConceptScore W2106723556C199622910 @default.
• W2106723556 hasConceptScore W2106723556C33923547 @default.
• W2106723556 hasConceptScore W2106723556C36503486 @default.
• W2106723556 hasConceptScore W2106723556C41008148 @default.
• W2106723556 hasConceptScore W2106723556C41045048 @default.
• W2106723556 hasConceptScore W2106723556C44616089 @default.
• W2106723556 hasConceptScore W2106723556C49937458 @default.
• W2106723556 hasConceptScore W2106723556C56086750 @default.
• W2106723556 hasConceptScore W2106723556C6943359 @default.
• W2106723556 hasConceptScore W2106723556C69562738 @default.
• W2106723556 hasConceptScore W2106723556C76155785 @default.
• W2106723556 hasConceptScore W2106723556C80444323 @default.
• W2106723556 hasLocation W21067235561 @default.
• W2106723556 hasOpenAccess W2106723556 @default.
• W2106723556 hasPrimaryLocation W21067235561 @default.
• W2106723556 hasRelatedWork W1603421148 @default.
• W2106723556 hasRelatedWork W1767277406 @default.
• W2106723556 hasRelatedWork W1777845228 @default.
• W2106723556 hasRelatedWork W1917700880 @default.
• W2106723556 hasRelatedWork W1965915626 @default.
• W2106723556 hasRelatedWork W1967553065 @default.
• W2106723556 hasRelatedWork W2033929466 @default.
• W2106723556 hasRelatedWork W2050768939 @default.
• W2106723556 hasRelatedWork W2076002224 @default.
• W2106723556 hasRelatedWork W2090880042 @default.
• W2106723556 hasRelatedWork W2130824329 @default.
• W2106723556 hasRelatedWork W2155041002 @default.
• W2106723556 hasRelatedWork W2166136730 @default.
• W2106723556 hasRelatedWork W2187298503 @default.
• W2106723556 hasRelatedWork W2244777522 @default.

• next