Matches in Wikidata for { <http://www.wikidata.org/entity/Q62652840> ?p ?o ?g. }
Showing items 1 to 36 of
36
with 100 items per page.
- Q62652840 description "article scientifique publié en 2005" @default.
- Q62652840 description "wetenschappelijk artikel" @default.
- Q62652840 description "наукова стаття, опублікована у 2005" @default.
- Q62652840 name "A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints" @default.
- Q62652840 name "A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints" @default.
- Q62652840 type Item @default.
- Q62652840 label "A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints" @default.
- Q62652840 label "A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints" @default.
- Q62652840 prefLabel "A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints" @default.
- Q62652840 prefLabel "A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints" @default.
- Q62652840 P1433 Q62652840-EEB27768-3F94-4164-BD57-42A1C24DA39D @default.
- Q62652840 P1476 Q62652840-BDB95967-610C-4333-979A-23E6E678D6DA @default.
- Q62652840 P2093 Q62652840-5E45943D-1875-4359-8676-C6F0279C09A5 @default.
- Q62652840 P2093 Q62652840-712B24F3-8B62-4B94-99F3-A33AC1AFAA63 @default.
- Q62652840 P2093 Q62652840-9A9DE4F5-3830-4C4C-A881-E932A5401CF4 @default.
- Q62652840 P2093 Q62652840-B073E269-F502-4C0F-9C2C-0BADE58F28D2 @default.
- Q62652840 P304 Q62652840-9E936A1F-6DB9-4CB5-AD12-55642A05D5F6 @default.
- Q62652840 P31 Q62652840-2AF92C41-7BDE-440E-A678-5B4B4BCFA7D4 @default.
- Q62652840 P356 Q62652840-559583B2-F2B1-4DA4-A085-4693E84A57D5 @default.
- Q62652840 P407 Q62652840-84E92818-D379-458C-B8DF-02D8FFC012E3 @default.
- Q62652840 P577 Q62652840-80D5B555-9ABC-440D-B1CC-3D27DB96B24E @default.
- Q62652840 P8978 Q62652840-78736EAD-8A35-4982-9B0D-BFDA08DE0230 @default.
- Q62652840 P356 11527695_2 @default.
- Q62652840 P8978 ArmandoCGM04a @default.
- Q62652840 P1433 Q924044 @default.
- Q62652840 P1476 "A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints" @default.
- Q62652840 P2093 "Alessandro Armando" @default.
- Q62652840 P2093 "Claudio Castellini" @default.
- Q62652840 P2093 "Enrico Giunchiglia" @default.
- Q62652840 P2093 "Marco Maratea" @default.
- Q62652840 P304 "16-29" @default.
- Q62652840 P31 Q13442814 @default.
- Q62652840 P356 "10.1007/11527695_2" @default.
- Q62652840 P407 Q1860 @default.
- Q62652840 P577 "2005-01-01T00:00:00Z" @default.
- Q62652840 P8978 "conf/sat/ArmandoCGM04a" @default.