`Travelled to:`

1 × Japan

1 × United Kingdom

`Collaborated with:`

R.Hasegawa R.Hähnle

`Talks about:`

constraint (2) finit (2) satisfact (1) approach (1) theorem (1) problem (1) generat (1) interv (1) domain (1) prove (1)

## Person: Yasuyuki Shirai

### DBLP: Shirai:Yasuyuki

### Contributed to:

### Wrote 2 papers:

- CL-2000-HahnleHS #constraints #finite #generative #proving #theorem proving
- Moder Generation Theorem Proving with Finite Interval Constraints (RH, RH, YS), pp. 285–299.
- ICLP-1995-ShiraiH #constraints #problem
- Two Approaches for Finite-Domain Constraint Satisfaction Problems — CP and CMGTP (YS, RH), pp. 249–263.