Dejan Jovanović

Dejan Jovanović has asked 7 questions and find answers to 19 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

How to use boost_threads with clang?
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

dynamic programming : traversal of cities
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?