Matches in SemOpenAlex for { <https://semopenalex.org/work/W1595043500> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1595043500 abstract "In the last decade, the power of the state-of-the-art SAT and Integer Programming solvers has dramatically increased. They implement many new techniques and heuristics and since any NP problem can be converted to SAT or ILP instance, we could take advantage of these techniques in general by converting the instance of NP problem to SAT formula or Integer program. A problem we consider, in this proof of concept, is finding a largest clique in a graph. We ran several experiments on large random graphs and compared 3 approaches: Optimised backtrack solution, Translation to SAT and Translation to Integer program. The last one was the fastest one." @default.
- W1595043500 created "2016-06-24" @default.
- W1595043500 creator A5051899958 @default.
- W1595043500 date "2010-11-24" @default.
- W1595043500 modified "2023-09-27" @default.
- W1595043500 title "Proof of Concept: Fast Solutions to NP-problems by Using SAT and Integer Programming Solvers" @default.
- W1595043500 hasPublicationYear "2010" @default.
- W1595043500 type Work @default.
- W1595043500 sameAs 1595043500 @default.
- W1595043500 citedByCount "0" @default.
- W1595043500 crossrefType "posted-content" @default.
- W1595043500 hasAuthorship W1595043500A5051899958 @default.
- W1595043500 hasConcept C104317684 @default.
- W1595043500 hasConcept C105580179 @default.
- W1595043500 hasConcept C11413529 @default.
- W1595043500 hasConcept C114614502 @default.
- W1595043500 hasConcept C126255220 @default.
- W1595043500 hasConcept C127705205 @default.
- W1595043500 hasConcept C132525143 @default.
- W1595043500 hasConcept C149364088 @default.
- W1595043500 hasConcept C185592680 @default.
- W1595043500 hasConcept C186861659 @default.
- W1595043500 hasConcept C199360897 @default.
- W1595043500 hasConcept C2777035058 @default.
- W1595043500 hasConcept C311688 @default.
- W1595043500 hasConcept C33923547 @default.
- W1595043500 hasConcept C41008148 @default.
- W1595043500 hasConcept C55493867 @default.
- W1595043500 hasConcept C56086750 @default.
- W1595043500 hasConcept C80444323 @default.
- W1595043500 hasConcept C97137487 @default.
- W1595043500 hasConceptScore W1595043500C104317684 @default.
- W1595043500 hasConceptScore W1595043500C105580179 @default.
- W1595043500 hasConceptScore W1595043500C11413529 @default.
- W1595043500 hasConceptScore W1595043500C114614502 @default.
- W1595043500 hasConceptScore W1595043500C126255220 @default.
- W1595043500 hasConceptScore W1595043500C127705205 @default.
- W1595043500 hasConceptScore W1595043500C132525143 @default.
- W1595043500 hasConceptScore W1595043500C149364088 @default.
- W1595043500 hasConceptScore W1595043500C185592680 @default.
- W1595043500 hasConceptScore W1595043500C186861659 @default.
- W1595043500 hasConceptScore W1595043500C199360897 @default.
- W1595043500 hasConceptScore W1595043500C2777035058 @default.
- W1595043500 hasConceptScore W1595043500C311688 @default.
- W1595043500 hasConceptScore W1595043500C33923547 @default.
- W1595043500 hasConceptScore W1595043500C41008148 @default.
- W1595043500 hasConceptScore W1595043500C55493867 @default.
- W1595043500 hasConceptScore W1595043500C56086750 @default.
- W1595043500 hasConceptScore W1595043500C80444323 @default.
- W1595043500 hasConceptScore W1595043500C97137487 @default.
- W1595043500 hasLocation W15950435001 @default.
- W1595043500 hasOpenAccess W1595043500 @default.
- W1595043500 hasPrimaryLocation W15950435001 @default.
- W1595043500 hasRelatedWork W1483521579 @default.
- W1595043500 hasRelatedWork W1526216923 @default.
- W1595043500 hasRelatedWork W153082311 @default.
- W1595043500 hasRelatedWork W1728966390 @default.
- W1595043500 hasRelatedWork W1750308252 @default.
- W1595043500 hasRelatedWork W1983758948 @default.
- W1595043500 hasRelatedWork W1995172234 @default.
- W1595043500 hasRelatedWork W2019049230 @default.
- W1595043500 hasRelatedWork W2025799810 @default.
- W1595043500 hasRelatedWork W2116758077 @default.
- W1595043500 hasRelatedWork W2141811956 @default.
- W1595043500 hasRelatedWork W2149676416 @default.
- W1595043500 hasRelatedWork W2168051265 @default.
- W1595043500 hasRelatedWork W2168910274 @default.
- W1595043500 hasRelatedWork W2250641808 @default.
- W1595043500 hasRelatedWork W2399087627 @default.
- W1595043500 hasRelatedWork W2787143095 @default.
- W1595043500 hasRelatedWork W3013362614 @default.
- W1595043500 hasRelatedWork W3105390215 @default.
- W1595043500 hasRelatedWork W76361982 @default.
- W1595043500 isParatext "false" @default.
- W1595043500 isRetracted "false" @default.
- W1595043500 magId "1595043500" @default.
- W1595043500 workType "article" @default.