1. Research with MATF
  2. MATF
  3. Research outputs
Please use this identifier to cite or link to this item: https://research.matf.bg.ac.rs/handle/123456789/2908
DC FieldValueLanguage
dc.contributor.authorBanković, Milanen_US
dc.contributor.authorMarić, Filipen_US
dc.date.accessioned2025-11-14T14:48:17Z-
dc.date.available2025-11-14T14:48:17Z-
dc.date.issued2010-
dc.identifier.urihttps://research.matf.bg.ac.rs/handle/123456789/2908-
dc.language.isoenen_US
dc.publisherEdinburgh SMT2010en_US
dc.titleAn Alldifferent constraint solver in SMTen_US
dc.typeConference Objecten_US
dc.relation.conferenceInternational Workshop on Satisfiability Modulo Theories (8 ; 2010 ; Edinburgh)en_US
dc.relation.publicationProceedings of the 8th International Workshop on Satisfiability Modulo Theoriesen_US
dc.identifier.urlhttp://www.cprover.org/SMT10/-
dc.contributor.affiliationInformatics and Computer Scienceen_US
dc.contributor.affiliationInformatics and Computer Scienceen_US
dc.description.rankM33en_US
item.grantfulltextnone-
item.fulltextNo Fulltext-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.languageiso639-1en-
item.cerifentitytypePublications-
item.openairetypeConference Object-
crisitem.author.deptInformatics and Computer Science-
crisitem.author.deptInformatics and Computer Science-
crisitem.author.orcid0000-0002-0517-6334-
crisitem.author.orcid0000-0001-7219-6960-
Appears in Collections:Research outputs
Show simple item record

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.