FRINK Linked Data Fragments server

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

• W142625004 endingPage "166" @default.
• W142625004 startingPage "161" @default.
• W142625004 abstract "Algorithms based on following local gradient information are surprisingly effective for certain classes of constraint satisfaction problems. Unfortunately, previous local search algorithms are notoriously incomplete: They are not guaranteed to find a feasible solution if one exists and they cannot be used to determine unsatisfiability. We present an algorithmic framework for complete local search and discuss in detail an instantiation for the propositional satisfiability problem (SAT). The fundamental idea is to use constraint learning in combination with a novel objective function that converges during search to a surface without local minima. Although the algorithm has worst-case exponential space complexity, we present empirical resulls on challenging SAT competition benchmarks that suggest that our implementation can perform as well as state-of-the-art solvers based on more mature techniques. Our framework suggests a range of possible algorithms lying between tree-based search and local search." @default.
• W142625004 created "2016-06-24" @default.
• W142625004 creator A5009850436 @default.
• W142625004 creator A5089417256 @default.
• W142625004 date "2004-07-25" @default.
• W142625004 modified "2023-09-28" @default.
• W142625004 title "Complete local search for propositional satisfiability" @default.
• W142625004 cites W13289598 @default.
• W142625004 cites W1484488769 @default.
• W142625004 cites W1487965496 @default.
• W142625004 cites W1492641605 @default.
• W142625004 cites W1494865762 @default.
• W142625004 cites W1495369628 @default.
• W142625004 cites W1519526968 @default.
• W142625004 cites W1526749820 @default.
• W142625004 cites W1537595897 @default.
• W142625004 cites W1567600461 @default.
• W142625004 cites W1599386511 @default.
• W142625004 cites W1792365433 @default.
• W142625004 cites W2026355757 @default.
• W142625004 cites W2132020706 @default.
• W142625004 cites W2142785340 @default.
• W142625004 cites W2153096231 @default.
• W142625004 cites W2165372647 @default.
• W142625004 cites W2579162708 @default.
• W142625004 cites W30950413 @default.
• W142625004 cites W37101401 @default.
• W142625004 cites W2610775458 @default.
• W142625004 hasPublicationYear "2004" @default.
• W142625004 type Work @default.
• W142625004 sameAs 142625004 @default.
• W142625004 citedByCount "25" @default.
• W142625004 countsByYear W1426250042012 @default.
• W142625004 countsByYear W1426250042013 @default.
• W142625004 countsByYear W1426250042014 @default.
• W142625004 countsByYear W1426250042016 @default.
• W142625004 countsByYear W1426250042021 @default.
• W142625004 crossrefType "proceedings-article" @default.
• W142625004 hasAuthorship W142625004A5009850436 @default.
• W142625004 hasAuthorship W142625004A5089417256 @default.
• W142625004 hasConcept C11413529 @default.
• W142625004 hasConcept C125583679 @default.
• W142625004 hasConcept C126255220 @default.
• W142625004 hasConcept C134306372 @default.
• W142625004 hasConcept C135320971 @default.
• W142625004 hasConcept C137105694 @default.
• W142625004 hasConcept C154945302 @default.
• W142625004 hasConcept C159985019 @default.
• W142625004 hasConcept C168773769 @default.
• W142625004 hasConcept C186633575 @default.
• W142625004 hasConcept C192562407 @default.
• W142625004 hasConcept C19889080 @default.
• W142625004 hasConcept C199622910 @default.
• W142625004 hasConcept C204323151 @default.
• W142625004 hasConcept C29230964 @default.
• W142625004 hasConcept C33923547 @default.
• W142625004 hasConcept C41008148 @default.
• W142625004 hasConcept C44616089 @default.
• W142625004 hasConcept C49937458 @default.
• W142625004 hasConcept C80444323 @default.
• W142625004 hasConcept C90189156 @default.
• W142625004 hasConceptScore W142625004C11413529 @default.
• W142625004 hasConceptScore W142625004C125583679 @default.
• W142625004 hasConceptScore W142625004C126255220 @default.
• W142625004 hasConceptScore W142625004C134306372 @default.
• W142625004 hasConceptScore W142625004C135320971 @default.
• W142625004 hasConceptScore W142625004C137105694 @default.
• W142625004 hasConceptScore W142625004C154945302 @default.
• W142625004 hasConceptScore W142625004C159985019 @default.
• W142625004 hasConceptScore W142625004C168773769 @default.
• W142625004 hasConceptScore W142625004C186633575 @default.
• W142625004 hasConceptScore W142625004C192562407 @default.
• W142625004 hasConceptScore W142625004C19889080 @default.
• W142625004 hasConceptScore W142625004C199622910 @default.
• W142625004 hasConceptScore W142625004C204323151 @default.
• W142625004 hasConceptScore W142625004C29230964 @default.
• W142625004 hasConceptScore W142625004C33923547 @default.
• W142625004 hasConceptScore W142625004C41008148 @default.
• W142625004 hasConceptScore W142625004C44616089 @default.
• W142625004 hasConceptScore W142625004C49937458 @default.
• W142625004 hasConceptScore W142625004C80444323 @default.
• W142625004 hasConceptScore W142625004C90189156 @default.
• W142625004 hasLocation W1426250041 @default.
• W142625004 hasOpenAccess W142625004 @default.
• W142625004 hasPrimaryLocation W1426250041 @default.
• W142625004 hasRelatedWork W1494865762 @default.
• W142625004 hasRelatedWork W1495369628 @default.
• W142625004 hasRelatedWork W1518705996 @default.
• W142625004 hasRelatedWork W1519526968 @default.
• W142625004 hasRelatedWork W1537371013 @default.
• W142625004 hasRelatedWork W1552098422 @default.
• W142625004 hasRelatedWork W1591939288 @default.
• W142625004 hasRelatedWork W1594093112 @default.
• W142625004 hasRelatedWork W1667614912 @default.
• W142625004 hasRelatedWork W1978526866 @default.
• W142625004 hasRelatedWork W2026355757 @default.
• W142625004 hasRelatedWork W2044560939 @default.
• W142625004 hasRelatedWork W2057361103 @default.

• next