Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952809545> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W2952809545 abstract "In this paper we describe how to modify GSAT so that it can be applied to non-clausal formulas. The idea is to use a particular ``score'' function which gives the number of clauses of the CNF conversion of a formula which are false under a given truth assignment. Its value is computed in linear time, without constructing the CNF conversion itself. The proposed methodology applies to most of the variants of GSAT proposed so far." @default.
- W2952809545 created "2019-06-27" @default.
- W2952809545 creator A5088301538 @default.
- W2952809545 date "1994-06-01" @default.
- W2952809545 modified "2023-09-28" @default.
- W2952809545 title "Applying GSAT to Non-Clausal Formulas" @default.
- W2952809545 cites W1999997889 @default.
- W2952809545 hasPublicationYear "1994" @default.
- W2952809545 type Work @default.
- W2952809545 sameAs 2952809545 @default.
- W2952809545 citedByCount "1" @default.
- W2952809545 crossrefType "posted-content" @default.
- W2952809545 hasAuthorship W2952809545A5088301538 @default.
- W2952809545 hasConcept C11413529 @default.
- W2952809545 hasConcept C118615104 @default.
- W2952809545 hasConcept C119857082 @default.
- W2952809545 hasConcept C14036430 @default.
- W2952809545 hasConcept C204911207 @default.
- W2952809545 hasConcept C2776291640 @default.
- W2952809545 hasConcept C33923547 @default.
- W2952809545 hasConcept C41008148 @default.
- W2952809545 hasConcept C78458016 @default.
- W2952809545 hasConcept C86803240 @default.
- W2952809545 hasConceptScore W2952809545C11413529 @default.
- W2952809545 hasConceptScore W2952809545C118615104 @default.
- W2952809545 hasConceptScore W2952809545C119857082 @default.
- W2952809545 hasConceptScore W2952809545C14036430 @default.
- W2952809545 hasConceptScore W2952809545C204911207 @default.
- W2952809545 hasConceptScore W2952809545C2776291640 @default.
- W2952809545 hasConceptScore W2952809545C33923547 @default.
- W2952809545 hasConceptScore W2952809545C41008148 @default.
- W2952809545 hasConceptScore W2952809545C78458016 @default.
- W2952809545 hasConceptScore W2952809545C86803240 @default.
- W2952809545 hasOpenAccess W2952809545 @default.
- W2952809545 hasRelatedWork W136158981 @default.
- W2952809545 hasRelatedWork W1497851303 @default.
- W2952809545 hasRelatedWork W1499043148 @default.
- W2952809545 hasRelatedWork W1513176853 @default.
- W2952809545 hasRelatedWork W1562832747 @default.
- W2952809545 hasRelatedWork W1571096584 @default.
- W2952809545 hasRelatedWork W1587436662 @default.
- W2952809545 hasRelatedWork W1600002932 @default.
- W2952809545 hasRelatedWork W1656268799 @default.
- W2952809545 hasRelatedWork W1839246176 @default.
- W2952809545 hasRelatedWork W1968179244 @default.
- W2952809545 hasRelatedWork W2045794350 @default.
- W2952809545 hasRelatedWork W205622109 @default.
- W2952809545 hasRelatedWork W2143134170 @default.
- W2952809545 hasRelatedWork W2149441048 @default.
- W2952809545 hasRelatedWork W2338679082 @default.
- W2952809545 hasRelatedWork W2394349251 @default.
- W2952809545 hasRelatedWork W69592080 @default.
- W2952809545 hasRelatedWork W83658943 @default.
- W2952809545 hasRelatedWork W2958613203 @default.
- W2952809545 isParatext "false" @default.
- W2952809545 isRetracted "false" @default.
- W2952809545 magId "2952809545" @default.
- W2952809545 workType "article" @default.