Warwick Harvey

Identifiers

No identifiers captured yet.

Papers (2)

1. Finite Domain Bounds Consistency Revisited cs.AI · 2004 · author #2
2. Checking modes of HAL programs cs.PL · 2004 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Peter J. Stuckey 2 shared papers
• Bart Demoen 1 shared papers
• Chiu Wo Choi 1 shared papers
• Jimmy Ho-Man Lee 1 shared papers
• Kim Marriott 1 shared papers
• Maria Garcia de la Banda 1 shared papers