Birkbeck, University of London logo
BIROn - Birkbeck Institutional Research Online

    Browse by Person

    Up a level
    Export as [feed] Atom [feed] RSS
    Group by: Item Type | Date | Journal or Publication Title | No Grouping
    Jump to: 2003
    Number of items: 1.

    2003

    Chen, Hubie (2003) An algorithm for SAT above the threshold. In: Giunchiglia, E. and Tacchella, A. (eds.) 6th International Conference: Theory and Applications of Satisfiability Testing. Lecture Notes in Computer Science 2919. Springer, pp. 14-24. ISBN 9783540208518.

    This list was generated on Mon Dec 23 06:43:19 2024 GMT.