Browse by Journal and Volume

Group by: Author(s) | Date | School | No Grouping

Jump to: 15 November 2016

Number of items: 1.

15 November 2016

Chen, Hubie and Dalmau, V. (2016) Decomposing quantified conjunctive (or disjunctive) formulas. SIAM Journal on Computing 45 (6), pp. 2066-2086. ISSN 0097-5397.

This list was generated on Sun Dec 22 03:53:05 2024 GMT.