Travelled to:1 × The Netherlands
1 × USA
Collaborated with:M.L.Ginsberg G.A.Wiggins
Talks about:algorithm (1) synthesi (1) satisfi (1) quantif (1) program (1) induct (1) logic (1) finit (1) claus (1) horn (1)
Person: Andrew J. Parkes
DBLP: Parkes:Andrew_J=
Contributed to:
2000
1995Wrote 2 papers:
- KR-2000-GinsbergP #algorithm #finite #quantifier #satisfiability
- Satisfiability Algorithms and Finite Quantification (MLG, AJP), pp. 690–701.
- LOPSTR-1995-ParkesW #horn clause #induction #logic programming #synthesis
- Logic Program Synthesis by Induction over Horn Clauses (AJP, GAW), p. 170.