Претрага




Резултати

On absorption in semigroups and n-ary semigroups   [2015]

Bašić, Bojan  

Solving finite-domain linear constraints in presence of the alldifferent (✓)   [2016]

Banković, Milan  

Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture (✓)   [2019]

Janičić, Predrag Đ.  ; Marić, Filip M.  ; Maliković, Marko

LLFP: Alogical Framework for Modeling External Evidence, Side Conditions, and Proof Irrelevance Using Monads   [2017]

Honsell, Furio; Liquori, Luigi; Maksimovic, Petar; Scagnetto, Ivan

On absorption in semigroups and $n$-ary semigroups   [2015]

Bašić Bojan  

URSA: A System for Uniform Reduction to SAT (✓)   [2012]

Janičić, Predrag  

A Proof System for Graph (Non)-Isomorphism Verification (✓)   [2021]

Bankovic, Milan M; Drecun, Ivan; Maric, Filip M  

Weak cat-operads   [2015]

Došen, Kosta  ; Petrić, Zoran  

Formalization of Abstract State Transition Systems for SAT (✓)   [2011]

Marić, Filip  ; Janičić, Predrag  

Филтери

По типу