Book

Tractability

by Lucas Bordeaux, Youssef Hamadi, Pushmeet Kohli, Robert Mateescu