Aleksandar Zeljić

1PUBLICATIONS
0CO-AUTHORS
Knowledge representation and reasoning
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Sep 04, 2018
An Approximation Framework for Solvers and Decision Procedures.

Aleksandar Zeljić, Christoph M Wintersteiger, Philipp Rümmer

Pageof 1

Frequent Collaborators