Matches in Wikidata for { <http://www.wikidata.org/entity/Q61732578> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- Q61732578 description "article scientifique publié en 2016" @default.
- Q61732578 description "wetenschappelijk artikel" @default.
- Q61732578 description "наукова стаття, опублікована у 2016" @default.
- Q61732578 name "Trade-offs Between Time and Memory in a Tighter Model of CDCL SAT Solvers" @default.
- Q61732578 name "Trade-offs Between Time and Memory in a Tighter Model of CDCL SAT Solvers" @default.
- Q61732578 type Item @default.
- Q61732578 label "Trade-offs Between Time and Memory in a Tighter Model of CDCL SAT Solvers" @default.
- Q61732578 label "Trade-offs Between Time and Memory in a Tighter Model of CDCL SAT Solvers" @default.
- Q61732578 prefLabel "Trade-offs Between Time and Memory in a Tighter Model of CDCL SAT Solvers" @default.
- Q61732578 prefLabel "Trade-offs Between Time and Memory in a Tighter Model of CDCL SAT Solvers" @default.
- Q61732578 P1104 Q61732578-86460D3E-8F81-4681-9582-B8AFE79BC657 @default.
- Q61732578 P1433 Q61732578-18EBCAEA-E080-4071-9E50-542F30D3F690 @default.
- Q61732578 P1476 Q61732578-2EF3802D-E8DD-43D5-A728-50098EA537FF @default.
- Q61732578 P2093 Q61732578-A03E5C5A-84A0-4D29-91A5-9A6686C0C17F @default.
- Q61732578 P2093 Q61732578-A8BD5DC7-3F1F-4F6A-A821-EDDCB9764DE8 @default.
- Q61732578 P2093 Q61732578-B4FEF14E-84A7-43A6-83CD-FEAC2A22F31C @default.
- Q61732578 P2093 Q61732578-DF3C44BB-B760-41A7-A1A1-62AD52A62B75 @default.
- Q61732578 P2860 Q61732578-02E70279-040D-491B-A2D4-669DDA7C4E56 @default.
- Q61732578 P2860 Q61732578-2756CD1D-0E44-4CE2-B9F0-3CAA1F98640C @default.
- Q61732578 P2860 Q61732578-2AC46CB2-85E0-4973-AE11-D5C0B65FD92A @default.
- Q61732578 P2860 Q61732578-42BA0FE3-61D8-432D-886C-B3956CC42117 @default.
- Q61732578 P2860 Q61732578-45481868-DDDA-4CC7-8D9C-66BB73BA5EE0 @default.
- Q61732578 P2860 Q61732578-7B3D9EE5-31A5-448C-8232-F9D6918D853D @default.
- Q61732578 P2860 Q61732578-8DA74B3D-4F73-4704-AA6A-39D8A373C1CE @default.
- Q61732578 P304 Q61732578-5C178722-4A5D-4DA6-8156-9A89C3B33AA7 @default.
- Q61732578 P31 Q61732578-F40DCA1E-B152-4C60-B304-F1F9587AC94F @default.
- Q61732578 P356 Q61732578-45193509-14D6-46AF-8FEC-F0F35E312DC0 @default.
- Q61732578 P407 Q61732578-4916AEA4-3E4F-40A8-B6AF-C78018F14B24 @default.
- Q61732578 P50 Q61732578-78FDC52C-B82B-4361-BA0D-57978CE03A55 @default.
- Q61732578 P50 Q61732578-A8884CFB-7517-4E19-A2FA-90AF69AABF8B @default.
- Q61732578 P577 Q61732578-1373DFA6-B2BC-4BBF-A59F-E5562305A484 @default.
- Q61732578 P6104 Q61732578-6C52A080-CD67-46F4-9BF6-EF3B07EA6334 @default.
- Q61732578 P894 Q61732578-40EFB454-D102-4D1F-A067-FC3DDB550008 @default.
- Q61732578 P8978 Q61732578-CDCCF325-DA5F-4341-A6CD-0E4A6779F31D @default.
- Q61732578 P356 978-3-319-40970-2_11 @default.
- Q61732578 P8978 ElffersJLMNV16 @default.
- Q61732578 P1104 "+17" @default.
- Q61732578 P1433 Q924044 @default.
- Q61732578 P1476 "Trade-offs Between Time and Memory in a Tighter Model of CDCL SAT Solvers" @default.
- Q61732578 P2093 "Jan Elffers" @default.
- Q61732578 P2093 "Jan Johannsen" @default.
- Q61732578 P2093 "Marc Vinyals" @default.
- Q61732578 P2093 "Thomas Magnard" @default.
- Q61732578 P2860 Q29030829 @default.
- Q61732578 P2860 Q29399031 @default.
- Q61732578 P2860 Q56039659 @default.
- Q61732578 P2860 Q56039660 @default.
- Q61732578 P2860 Q56224983 @default.
- Q61732578 P2860 Q59699144 @default.
- Q61732578 P2860 Q61732567 @default.
- Q61732578 P304 "160-176" @default.
- Q61732578 P31 Q13442814 @default.
- Q61732578 P356 "10.1007/978-3-319-40970-2_11" @default.
- Q61732578 P407 Q1860 @default.
- Q61732578 P50 Q60027860 @default.
- Q61732578 P50 Q61758253 @default.
- Q61732578 P577 "2016-01-01T00:00:00Z" @default.
- Q61732578 P6104 Q8487137 @default.
- Q61732578 P894 "1475.68343" @default.
- Q61732578 P8978 "conf/sat/ElffersJLMNV16" @default.