Browse by Person (creator, editor, contributor, etc.)

Group by: Item Type | Date | No Grouping

Jump to: Article | Conference or workshop item

Number of items: 8.

Article

Howe, Jacob M. and King, Andy (2012) A Pearl on SAT and SMT Solving in Prolog. Theoretical Computer Science, 435 . pp. 43-55. ISSN 0304-3975. The full text of this publication is not available from this repository.

Howe, Jacob M. and King, Andy (2011) A Pearl on SAT Solving in Prolog (extended abstract). Logic Programming Newsletter, 2011 (3). pp. 182-196. The full text of this publication is not available from this repository.

Howe, Jacob M. and King, Andy and Lawrence-Jones, Charles (2010) Quadtrees as an Abstract Domain. Electronic Notes in Theoretical Computer Science, 267 (1). pp. 182-196. The full text of this publication is not available from this repository.

Simon, Axel and King, Andy and Howe, Jacob M. (2010) The Two Variable Per Inequality Abstract Domain. Higher-Order and Symbolic Computation, 31 (1). pp. 182-196. The full text of this publication is not available from this repository.

Conference or workshop item

Howe, Jacob M. and King, Andy (2012) Polyhedral Analysis using Parametric Objectives. In: UNSPECIFIED. The full text of this publication is not available from this repository.

Howe, Jacob M. and King, Andy (2012) Polyhedral Analysis using Parametric Objectives. In: Nineteenth Static Analysis Symposium. The full text of this publication is not available from this repository.

Howe, Jacob M. and King, Andy (2010) A Pearl on SAT Solving in Prolog. In: Tenth International Symposium on Functional and Logic Programming. The full text of this publication is not available from this repository.

This list was generated on Sat May 18 13:42:54 2013 BST.