"SAT Solvers."

João Marques-Silva, Inês Lynce (2014)

Details and statistics

DOI: 10.1017/CBO9781139177801.013

access: closed

type: Part in Book or Collection

metadata version: 2020-02-24