`Travelled to:`

1 × Cyprus

1 × France

1 × Germany

1 × Italy

1 × Japan

2 × Spain

`Collaborated with:`

A.King E.Robbins L.Lu A.Simon

`Talks about:`

function (2) program (2) boolean (2) analysi (2) theori (2) domain (2) use (2) specialis (1) polyhedra (1) multihead (1)

## Person: Jacob M. Howe

### DBLP: Howe:Jacob_M=

### Contributed to:

### Wrote 9 papers:

- PPDP-2013-RobbinsHK
- Theory propagation and rational-trees (ER, JMH, AK), pp. 193–204.
- SAS-2012-HoweK #analysis #parametricity #using
- Polyhedral Analysis Using Parametric Objectives (JMH, AK), pp. 41–57.
- FLOPS-2010-HoweK #prolog #satisfiability
- A Pearl on SAT Solving in Prolog (JMH, AK), pp. 165–174.
- PDCL-2004-HoweKL #logic programming #reasoning #source code
- Analysing Logic Programs by Reasoning Backwards (JMH, AK, LL), pp. 152–188.
- LOPSTR-2002-SimonKH #abstract domain #difference #linear
- Two Variables per Linear Inequality as an Abstract Domain (AS, AK, JMH), pp. 71–89.
- ICLP-2001-HoweK #multi
- Positive Boolean Functions as Multiheaded Clauses (JMH, AK), pp. 120–134.
- ESOP-2000-HoweK #analysis #implementation
- Implementing Groundness Analysis with Definite Boolean Functions (JMH, AK), pp. 200–214.
- LOPSTR-1999-HoweK #source code #using
- Specialising Fininte Domain Programs Using Polyhedra (JMH, AK), pp. 118–135.
- PPDP-2017-HoweRK #learning #symmetry
- Theory learning with symmetry breaking (JMH, ER, AK), pp. 85–96.