Results

eNauka >  Results >  An Alldifferent constraint solver in SMT
Title: An Alldifferent constraint solver in SMT
Authors: Banković, Milan  ; Marić, Filip  
Issue Date: 2010
Publication: Proceedings of the 8th International Workshop on Satisfiability Modulo Theories
Publisher: Velika Britanija
Type: Conference Paper
URI: https://enauka.gov.rs/handle/123456789/319665
URL: http://www.cprover.org/SMT10/
Metadata source: Migrirano iz RIS podataka
M-category: 
Mp. category will be shown later

Find the DOI

Google ScholarTM

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