Bridging constraint satisfaction and Boolean satisfiability. ([2015]) - Petke, Justyna
No abstract available