Pronađeno: 1-5 / 5 radova

Autori: Bankovic Milan M

>> Prikaži sve rezultate

>> Sve godine

Naslov A Proof System for Graph (Non)-Isomorphism Verification (Article)
Autori Bankovic Milan M Drecun Ivan Maric Filip M  
Info LOGICAL METHODS IN COMPUTER SCIENCE, (2021), vol. 19 br. 1, str. -
Projekat Serbian Ministry of Science [174021]
Ispravka Web of Science   Članak   Elečas   Rang časopisa  
facebook sharing button
twitter sharing button
linkedin sharing button
gmail sharing button
copy sharing button
Naslov Faradzev Read-type enumeration of non-isomorphic CC systems (Article)
Autori Bankovic Milan M Maric Filip M  
Info COMPUTATIONAL GEOMETRY-THEORY AND APPLICATIONS, (2021), vol. 97 br. , str. -
Projekat Ministry of Science, Serbia [174021]
Ispravka Web of Science   Članak   Elečas   Rang časopisa   Citati: Web of Science   Scopus  
facebook sharing button
twitter sharing button
linkedin sharing button
gmail sharing button
copy sharing button
Naslov Parallelizing simplex within SMT solvers (Article)
Autori Bankovic Milan M 
Info ARTIFICIAL INTELLIGENCE REVIEW, (2017), vol. 48 br. 1, str. 83-112
Projekat Serbian Ministry of Science [174021]; SNF [SCOPES IZ73Z0_127979/1]
Ispravka Web of Science   Članak   Elečas   Rang časopisa   Citati: Web of Science   Scopus  
facebook sharing button
twitter sharing button
linkedin sharing button
gmail sharing button
copy sharing button
Naslov Solving Finite-Domain Linear Constraints in Presence of the Alldifferent (Article)
Autori Bankovic Milan M 
Info LOGICAL METHODS IN COMPUTER SCIENCE, (2016), vol. 12 br. 3, str. -
Projekat Serbian Ministry of Science grant [174021]
Ispravka Web of Science   Članak   Elečas   Rang časopisa   Citati: Web of Science   Scopus  
facebook sharing button
twitter sharing button
linkedin sharing button
gmail sharing button
copy sharing button
Naslov Extending SMT solvers with support for finite domain alldifferent constraint (Article)
Autori Bankovic Milan M 
Info CONSTRAINTS, (2016), vol. 21 br. 4, str. 463-494
Projekat Serbian Ministry of Science [174021]; SNF [SCOPES IZ73Z0_127979/1]
Ispravka Web of Science   Članak   Elečas   Rang časopisa   Citati: Web of Science   Scopus  
facebook sharing button
twitter sharing button
linkedin sharing button
gmail sharing button
copy sharing button
>> Sve godine

Ispis zapisa u formatu:TXT | BibTeX