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

Group by: Item Type | Date | No Grouping

2012 2011 2010

Number of items: 8.

2012

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 (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.

2011

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.

2010

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.

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.

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.

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