Dejan Jovanović

Dejan Jovanović has asked 6 questions and find answers to 18 problems.

Stats

About

I'm a computer scientist in the Formal Methods group of SRI International. I do research related to verification, specializing in SAT/SMT solving and model checking.

Dejan Jovanović questions

Can Z3 be used to preprocess problems?
Why does position of explicit template instantiation matter
std::sort without copy construction
How to use valgrind with python?

Dejan Jovanović answers

Shortest path in a grid between two points. With a catch
Make the sum of integers in a matrix maximal by multiplying rows and columns by -1
Testing Python C libraries - get build path
How to use valgrind with python?