News
Video: Joao Marques-Silva, "Problem solving with SAT oracles"
www.birs.ca
Joao Marques-Silva speaking at BIRS workshop, Theoretical Foundations of Applied SAT Solving, on Wednesday, January 22, on the topic: Problem solving with...
sorted by relevance / date