Please use this identifier to cite or link to this item:
https://research.matf.bg.ac.rs/handle/123456789/2908| Title: | An Alldifferent constraint solver in SMT | Authors: | Banković, Milan Marić, Filip |
Affiliations: | Informatics and Computer Science Informatics and Computer Science |
Issue Date: | 2010 | Rank: | M33 | Publisher: | Edinburgh SMT2010 | Related Publication(s): | Proceedings of the 8th International Workshop on Satisfiability Modulo Theories | Conference: | International Workshop on Satisfiability Modulo Theories (8 ; 2010 ; Edinburgh) | URI: | https://research.matf.bg.ac.rs/handle/123456789/2908 |
| Appears in Collections: | Research outputs |
Show full item record
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.