FRINK Linked Data Fragments server

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

• W1993916076 endingPage "534" @default.
• W1993916076 startingPage "523" @default.
• W1993916076 abstract "An approach to propositional satisfiability using an adaptive procedure is described. Its main feature is a new branching rule, which is able to identify, at an early stage, hard sub-formulae. Such branching rule is based on a simple and easy computable criterion, whose merit function is updated by a learning mechanism, and guides the exploration of a clause-based branching tree. Completeness is guaranteed. Moreover, a new search technique named core search is used to speed-up the above procedure while preserving completeness. This is inspired by the well-known approaches of row and column generation used in mathematical programming. Encouraging computational results and comparisons are presented." @default.
• W1993916076 created "2016-06-24" @default.
• W1993916076 creator A5000113494 @default.
• W1993916076 creator A5036926853 @default.
• W1993916076 date "2003-05-01" @default.
• W1993916076 modified "2023-09-25" @default.
• W1993916076 title "A complete adaptive algorithm for propositional satisfiability" @default.
• W1993916076 cites W1490995582 @default.
• W1993916076 cites W1501245502 @default.
• W1993916076 cites W1511155470 @default.
• W1993916076 cites W1513282478 @default.
• W1993916076 cites W1514729613 @default.
• W1993916076 cites W1561608403 @default.
• W1993916076 cites W1562502650 @default.
• W1993916076 cites W1585537805 @default.
• W1993916076 cites W1607412873 @default.
• W1993916076 cites W162552705 @default.
• W1993916076 cites W1627230931 @default.
• W1993916076 cites W1965913970 @default.
• W1993916076 cites W1976816453 @default.
• W1993916076 cites W2022695609 @default.
• W1993916076 cites W2037197578 @default.
• W1993916076 cites W2044560939 @default.
• W1993916076 cites W2048491048 @default.
• W1993916076 cites W2057361103 @default.
• W1993916076 cites W2062897452 @default.
• W1993916076 cites W2072545857 @default.
• W1993916076 cites W2080267935 @default.
• W1993916076 cites W2085301456 @default.
• W1993916076 cites W2105738025 @default.
• W1993916076 cites W2108637261 @default.
• W1993916076 cites W2394717198 @default.
• W1993916076 cites W2406125742 @default.
• W1993916076 cites W2407714145 @default.
• W1993916076 cites W2408006898 @default.
• W1993916076 cites W2506088122 @default.
• W1993916076 cites W2607539118 @default.
• W1993916076 cites W2776836749 @default.
• W1993916076 cites W3045969830 @default.
• W1993916076 cites W391976303 @default.
• W1993916076 doi "https://doi.org/10.1016/s0166-218x(02)00385-2" @default.
• W1993916076 hasPublicationYear "2003" @default.
• W1993916076 type Work @default.
• W1993916076 sameAs 1993916076 @default.
• W1993916076 citedByCount "1" @default.
• W1993916076 crossrefType "journal-article" @default.
• W1993916076 hasAuthorship W1993916076A5000113494 @default.
• W1993916076 hasAuthorship W1993916076A5036926853 @default.
• W1993916076 hasBestOaLocation W19939160762 @default.
• W1993916076 hasConcept C102993220 @default.
• W1993916076 hasConcept C111472728 @default.
• W1993916076 hasConcept C11413529 @default.
• W1993916076 hasConcept C118615104 @default.
• W1993916076 hasConcept C125583679 @default.
• W1993916076 hasConcept C12707504 @default.
• W1993916076 hasConcept C134306372 @default.
• W1993916076 hasConcept C134652429 @default.
• W1993916076 hasConcept C138885662 @default.
• W1993916076 hasConcept C143936061 @default.
• W1993916076 hasConcept C14523651 @default.
• W1993916076 hasConcept C159985019 @default.
• W1993916076 hasConcept C16221470 @default.
• W1993916076 hasConcept C168773769 @default.
• W1993916076 hasConcept C17231256 @default.
• W1993916076 hasConcept C192562407 @default.
• W1993916076 hasConcept C206175624 @default.
• W1993916076 hasConcept C207024777 @default.
• W1993916076 hasConcept C2780586882 @default.
• W1993916076 hasConcept C33203268 @default.
• W1993916076 hasConcept C33923547 @default.
• W1993916076 hasConcept C41008148 @default.
• W1993916076 hasConcept C6943359 @default.
• W1993916076 hasConcept C69562738 @default.
• W1993916076 hasConcept C74640108 @default.
• W1993916076 hasConcept C76155785 @default.
• W1993916076 hasConcept C80444323 @default.
• W1993916076 hasConceptScore W1993916076C102993220 @default.
• W1993916076 hasConceptScore W1993916076C111472728 @default.
• W1993916076 hasConceptScore W1993916076C11413529 @default.
• W1993916076 hasConceptScore W1993916076C118615104 @default.
• W1993916076 hasConceptScore W1993916076C125583679 @default.
• W1993916076 hasConceptScore W1993916076C12707504 @default.
• W1993916076 hasConceptScore W1993916076C134306372 @default.
• W1993916076 hasConceptScore W1993916076C134652429 @default.
• W1993916076 hasConceptScore W1993916076C138885662 @default.
• W1993916076 hasConceptScore W1993916076C143936061 @default.
• W1993916076 hasConceptScore W1993916076C14523651 @default.
• W1993916076 hasConceptScore W1993916076C159985019 @default.
• W1993916076 hasConceptScore W1993916076C16221470 @default.
• W1993916076 hasConceptScore W1993916076C168773769 @default.
• W1993916076 hasConceptScore W1993916076C17231256 @default.
• W1993916076 hasConceptScore W1993916076C192562407 @default.
• W1993916076 hasConceptScore W1993916076C206175624 @default.
• W1993916076 hasConceptScore W1993916076C207024777 @default.
• W1993916076 hasConceptScore W1993916076C2780586882 @default.
• W1993916076 hasConceptScore W1993916076C33203268 @default.
• W1993916076 hasConceptScore W1993916076C33923547 @default.
• W1993916076 hasConceptScore W1993916076C41008148 @default.

• next