Matches in SemOpenAlex for { <https://semopenalex.org/work/W2381330444> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2381330444 abstract "To solve the problem that SAT solvers usually has excessive backtraces during assigning binary values to an unassigned variables,a new SAT solver based on symbolic simulation and variable partition,which lower not only the number of backtrack but the memory blow-up,was presented.The SAT solver partitions a big CNF into two smaller subset A and B,then divides the set of variables into three disjoint set.Through the constraint that the symbolic values are only assigned to the variable in the set which occur in both A and B,the symbolic simulation-based SAT solver get both the low backtrack number and memory occupation.Experimental result showed the SAT solver is sound and efficient." @default.
- W2381330444 created "2016-06-24" @default.
- W2381330444 creator A5073450979 @default.
- W2381330444 date "2008-01-01" @default.
- W2381330444 modified "2023-09-22" @default.
- W2381330444 title "SAT Algorithm Based on Symbolic Simulation and Variable Partitions" @default.
- W2381330444 hasPublicationYear "2008" @default.
- W2381330444 type Work @default.
- W2381330444 sameAs 2381330444 @default.
- W2381330444 citedByCount "0" @default.
- W2381330444 crossrefType "journal-article" @default.
- W2381330444 hasAuthorship W2381330444A5073450979 @default.
- W2381330444 hasConcept C11413529 @default.
- W2381330444 hasConcept C114614502 @default.
- W2381330444 hasConcept C118615104 @default.
- W2381330444 hasConcept C134306372 @default.
- W2381330444 hasConcept C154945302 @default.
- W2381330444 hasConcept C173608175 @default.
- W2381330444 hasConcept C177264268 @default.
- W2381330444 hasConcept C182365436 @default.
- W2381330444 hasConcept C199360897 @default.
- W2381330444 hasConcept C199622910 @default.
- W2381330444 hasConcept C2777904410 @default.
- W2381330444 hasConcept C2778770139 @default.
- W2381330444 hasConcept C2779639559 @default.
- W2381330444 hasConcept C3309909 @default.
- W2381330444 hasConcept C33923547 @default.
- W2381330444 hasConcept C41008148 @default.
- W2381330444 hasConcept C42812 @default.
- W2381330444 hasConcept C45340560 @default.
- W2381330444 hasConcept C49937458 @default.
- W2381330444 hasConcept C6943359 @default.
- W2381330444 hasConcept C80444323 @default.
- W2381330444 hasConceptScore W2381330444C11413529 @default.
- W2381330444 hasConceptScore W2381330444C114614502 @default.
- W2381330444 hasConceptScore W2381330444C118615104 @default.
- W2381330444 hasConceptScore W2381330444C134306372 @default.
- W2381330444 hasConceptScore W2381330444C154945302 @default.
- W2381330444 hasConceptScore W2381330444C173608175 @default.
- W2381330444 hasConceptScore W2381330444C177264268 @default.
- W2381330444 hasConceptScore W2381330444C182365436 @default.
- W2381330444 hasConceptScore W2381330444C199360897 @default.
- W2381330444 hasConceptScore W2381330444C199622910 @default.
- W2381330444 hasConceptScore W2381330444C2777904410 @default.
- W2381330444 hasConceptScore W2381330444C2778770139 @default.
- W2381330444 hasConceptScore W2381330444C2779639559 @default.
- W2381330444 hasConceptScore W2381330444C3309909 @default.
- W2381330444 hasConceptScore W2381330444C33923547 @default.
- W2381330444 hasConceptScore W2381330444C41008148 @default.
- W2381330444 hasConceptScore W2381330444C42812 @default.
- W2381330444 hasConceptScore W2381330444C45340560 @default.
- W2381330444 hasConceptScore W2381330444C49937458 @default.
- W2381330444 hasConceptScore W2381330444C6943359 @default.
- W2381330444 hasConceptScore W2381330444C80444323 @default.
- W2381330444 hasOpenAccess W2381330444 @default.
- W2381330444 hasRelatedWork W1497788215 @default.
- W2381330444 hasRelatedWork W1536596338 @default.
- W2381330444 hasRelatedWork W1748533846 @default.
- W2381330444 hasRelatedWork W1835373201 @default.
- W2381330444 hasRelatedWork W2018678448 @default.
- W2381330444 hasRelatedWork W2019049230 @default.
- W2381330444 hasRelatedWork W2024147469 @default.
- W2381330444 hasRelatedWork W2025799810 @default.
- W2381330444 hasRelatedWork W2105517148 @default.
- W2381330444 hasRelatedWork W2117182791 @default.
- W2381330444 hasRelatedWork W2159265808 @default.
- W2381330444 hasRelatedWork W2168192936 @default.
- W2381330444 hasRelatedWork W2169084680 @default.
- W2381330444 hasRelatedWork W2772008579 @default.
- W2381330444 hasRelatedWork W2883329459 @default.
- W2381330444 hasRelatedWork W3039293627 @default.
- W2381330444 hasRelatedWork W3105390215 @default.
- W2381330444 hasRelatedWork W3127941413 @default.
- W2381330444 hasRelatedWork W3155949217 @default.
- W2381330444 hasRelatedWork W3195562319 @default.
- W2381330444 isParatext "false" @default.
- W2381330444 isRetracted "false" @default.
- W2381330444 magId "2381330444" @default.
- W2381330444 workType "article" @default.