Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912606985> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2912606985 endingPage "248" @default.
- W2912606985 startingPage "244" @default.
- W2912606985 abstract "Boolean Satisfiability (SAT) solvers based on local search and backtracking search algorithms have been used to solve many computational search problems, with recent advances making them competitive with alternative specialist constraint satisfaction search techniques. However, the formulation of problems as satisfiability problems are often unnatural and cumbersome. Boolean SAT solvers are also unable to employ additional structure on the problem domain to speed up search. Recently, regular SAT was proposed as an extension of Boolean SAT, and shown to have significant computational advantages over Boolean SAT in some benchmark domains. In this paper, a further extension to regular SAT is proposed. Namely, variables are interpreted over intervals of truth values from a finite, totally-ordered domain. This gives a more compact problem representation, while still utilising the domain structure during search. The paper presents interval SAT as an extension to regular SAT, relates both regular SAT and interval SAT to Post logic and Post algebras, and gives a generalised Davis-Putnam search algorithm for interval SAT." @default.
- W2912606985 created "2019-02-21" @default.
- W2912606985 creator A5006988031 @default.
- W2912606985 date "2004-10-04" @default.
- W2912606985 modified "2023-09-23" @default.
- W2912606985 title "Interval satisfiability" @default.
- W2912606985 cites W1541903906 @default.
- W2912606985 cites W1873470583 @default.
- W2912606985 cites W1978050007 @default.
- W2912606985 cites W2035493071 @default.
- W2912606985 cites W2057361103 @default.
- W2912606985 cites W2114501395 @default.
- W2912606985 cites W2127309711 @default.
- W2912606985 cites W637989598 @default.
- W2912606985 doi "https://doi.org/10.5555/1035053.1035084" @default.
- W2912606985 hasPublicationYear "2004" @default.
- W2912606985 type Work @default.
- W2912606985 sameAs 2912606985 @default.
- W2912606985 citedByCount "0" @default.
- W2912606985 crossrefType "proceedings-article" @default.
- W2912606985 hasAuthorship W2912606985A5006988031 @default.
- W2912606985 hasConcept C111797529 @default.
- W2912606985 hasConcept C11413529 @default.
- W2912606985 hasConcept C114614502 @default.
- W2912606985 hasConcept C118615104 @default.
- W2912606985 hasConcept C134306372 @default.
- W2912606985 hasConcept C135320971 @default.
- W2912606985 hasConcept C154945302 @default.
- W2912606985 hasConcept C156884757 @default.
- W2912606985 hasConcept C168773769 @default.
- W2912606985 hasConcept C187455244 @default.
- W2912606985 hasConcept C199360897 @default.
- W2912606985 hasConcept C199622910 @default.
- W2912606985 hasConcept C2778029271 @default.
- W2912606985 hasConcept C2778067643 @default.
- W2912606985 hasConcept C33923547 @default.
- W2912606985 hasConcept C36503486 @default.
- W2912606985 hasConcept C41008148 @default.
- W2912606985 hasConcept C44616089 @default.
- W2912606985 hasConcept C49937458 @default.
- W2912606985 hasConcept C6943359 @default.
- W2912606985 hasConcept C80444323 @default.
- W2912606985 hasConceptScore W2912606985C111797529 @default.
- W2912606985 hasConceptScore W2912606985C11413529 @default.
- W2912606985 hasConceptScore W2912606985C114614502 @default.
- W2912606985 hasConceptScore W2912606985C118615104 @default.
- W2912606985 hasConceptScore W2912606985C134306372 @default.
- W2912606985 hasConceptScore W2912606985C135320971 @default.
- W2912606985 hasConceptScore W2912606985C154945302 @default.
- W2912606985 hasConceptScore W2912606985C156884757 @default.
- W2912606985 hasConceptScore W2912606985C168773769 @default.
- W2912606985 hasConceptScore W2912606985C187455244 @default.
- W2912606985 hasConceptScore W2912606985C199360897 @default.
- W2912606985 hasConceptScore W2912606985C199622910 @default.
- W2912606985 hasConceptScore W2912606985C2778029271 @default.
- W2912606985 hasConceptScore W2912606985C2778067643 @default.
- W2912606985 hasConceptScore W2912606985C33923547 @default.
- W2912606985 hasConceptScore W2912606985C36503486 @default.
- W2912606985 hasConceptScore W2912606985C41008148 @default.
- W2912606985 hasConceptScore W2912606985C44616089 @default.
- W2912606985 hasConceptScore W2912606985C49937458 @default.
- W2912606985 hasConceptScore W2912606985C6943359 @default.
- W2912606985 hasConceptScore W2912606985C80444323 @default.
- W2912606985 hasLocation W29126069851 @default.
- W2912606985 hasOpenAccess W2912606985 @default.
- W2912606985 hasPrimaryLocation W29126069851 @default.
- W2912606985 hasRelatedWork W110658366 @default.
- W2912606985 hasRelatedWork W1492439953 @default.
- W2912606985 hasRelatedWork W1568918982 @default.
- W2912606985 hasRelatedWork W1579248039 @default.
- W2912606985 hasRelatedWork W1600508047 @default.
- W2912606985 hasRelatedWork W1607412873 @default.
- W2912606985 hasRelatedWork W1607919398 @default.
- W2912606985 hasRelatedWork W1681159018 @default.
- W2912606985 hasRelatedWork W1990083896 @default.
- W2912606985 hasRelatedWork W2033937366 @default.
- W2912606985 hasRelatedWork W2037935414 @default.
- W2912606985 hasRelatedWork W2155887940 @default.
- W2912606985 hasRelatedWork W217540047 @default.
- W2912606985 hasRelatedWork W2187159007 @default.
- W2912606985 hasRelatedWork W2371814225 @default.
- W2912606985 hasRelatedWork W2594912772 @default.
- W2912606985 hasRelatedWork W2772286497 @default.
- W2912606985 hasRelatedWork W2803654607 @default.
- W2912606985 hasRelatedWork W299694663 @default.
- W2912606985 hasRelatedWork W2998050925 @default.
- W2912606985 isParatext "false" @default.
- W2912606985 isRetracted "false" @default.
- W2912606985 magId "2912606985" @default.
- W2912606985 workType "article" @default.