Matches in Wikidata for { <http://www.wikidata.org/entity/Q57979695> ?p ?o ?g. }
Showing items 1 to 45 of
45
with 100 items per page.
- Q57979695 description "article scientifique publié en 2012" @default.
- Q57979695 description "im Mai 2012 veröffentlichter wissenschaftlicher Artikel" @default.
- Q57979695 description "wetenschappelijk artikel" @default.
- Q57979695 description "наукова стаття, опублікована в травні 2012" @default.
- Q57979695 name "Solving constraint satisfaction problems with SAT modulo theories" @default.
- Q57979695 name "Solving constraint satisfaction problems with SAT modulo theories" @default.
- Q57979695 type Item @default.
- Q57979695 label "Solving constraint satisfaction problems with SAT modulo theories" @default.
- Q57979695 label "Solving constraint satisfaction problems with SAT modulo theories" @default.
- Q57979695 prefLabel "Solving constraint satisfaction problems with SAT modulo theories" @default.
- Q57979695 prefLabel "Solving constraint satisfaction problems with SAT modulo theories" @default.
- Q57979695 P1433 Q57979695-97D89B81-B4DD-4763-B098-415E38B72EBA @default.
- Q57979695 P1476 Q57979695-FB23AF74-7A5A-4DEA-8EC2-5B67315CAA23 @default.
- Q57979695 P2093 Q57979695-2B7A62DD-5D50-44C7-9D33-75C901AB7500 @default.
- Q57979695 P2093 Q57979695-4407C4EC-F202-4AE1-8BBE-870A9593FBD8 @default.
- Q57979695 P2093 Q57979695-5AC6D449-517F-4DB7-A846-75C909370FA9 @default.
- Q57979695 P2093 Q57979695-A046936B-8A71-4AFF-9351-399F8137412D @default.
- Q57979695 P2888 Q57979695-AD0DEE1A-DFD6-41EA-80AE-B3DFB606BD79 @default.
- Q57979695 P304 Q57979695-B8AD7D77-F30F-47F3-AAD8-EF96380B020A @default.
- Q57979695 P31 Q57979695-27422EE8-68FE-4B31-8560-94DEDBA486A3 @default.
- Q57979695 P356 Q57979695-1312F0DB-A07B-4C41-B90A-752CFE7CAEC1 @default.
- Q57979695 P433 Q57979695-C4BFA641-D8B2-4958-B8DD-AA400A92A053 @default.
- Q57979695 P478 Q57979695-89EA38FA-1092-4E16-B857-930BD4B620FE @default.
- Q57979695 P577 Q57979695-C3FA6C2A-9AC7-4052-8115-4D2DA8385FD6 @default.
- Q57979695 P6104 Q57979695-4F25E9F6-02C2-4DC9-B26C-D7CB8F514E24 @default.
- Q57979695 P894 Q57979695-C6A0612A-D4D5-4DB5-80D8-D539853F833F @default.
- Q57979695 P8978 Q57979695-E112CAA2-6145-4786-9E35-E63DBE60084B @default.
- Q57979695 P356 S10601-012-9123-1 @default.
- Q57979695 P8978 BofillPSV12 @default.
- Q57979695 P1433 Q15745527 @default.
- Q57979695 P1476 "Solving constraint satisfaction problems with SAT modulo theories" @default.
- Q57979695 P2093 "Josep Suy" @default.
- Q57979695 P2093 "Mateu Villaret" @default.
- Q57979695 P2093 "Miquel Bofill" @default.
- Q57979695 P2093 "Miquel Palahí" @default.
- Q57979695 P2888 s10601-012-9123-1 @default.
- Q57979695 P304 "273-303" @default.
- Q57979695 P31 Q13442814 @default.
- Q57979695 P356 "10.1007/S10601-012-9123-1" @default.
- Q57979695 P433 "3" @default.
- Q57979695 P478 "17" @default.
- Q57979695 P577 "2012-05-26T00:00:00Z" @default.
- Q57979695 P6104 Q8487137 @default.
- Q57979695 P894 "1309.90099" @default.
- Q57979695 P8978 "journals/constraints/BofillPSV12" @default.