`Travelled to:`

1 × Australia

1 × Finland

2 × USA

`Collaborated with:`

R.Hasegawa H.Fujita K.Inoue Y.Ohta

`Talks about:`

theorem (3) generat (3) model (3) prover (2) sat (2) constraint (1) parallel (1) incorpor (1) solver (1) failur (1)

## Person: Miyuki Koshimura

### DBLP: Koshimura:Miyuki

### Contributed to:

### Wrote 5 papers:

- SAT-2013-FujitaKH #constraints #named #satisfiability
- SCSat: A Soft Constraint Guided SAT Solver (HF, MK, RH), pp. 415–421.
- CADE-2000-HasegawaFK #branch #generative #performance #using
- Efficient Minimal Model Generation Using Branching Lemmas (RH, HF, MK), pp. 184–199.
- CADE-1997-HasegawaIOK #bottom-up #proving #set #theorem proving #top-down
- Non-Horn Magic Sets to Incorporate Top-down Inference into Bottom-up Theorem Proving (RH, KI, YO, MK), pp. 176–190.
- CADE-1992-HasegawaKF #generative #lazy evaluation #named #parallel #proving #theorem proving
- MGTP: A Parallel Theorem Prover Based on Lazy Model Generation (RH, MK, HF), pp. 776–780.
- CADE-1992-InoueKH #generative #proving #theorem proving
- Embedding Negation as Failure into a Model Generation Theorem Prover (KI, MK, RH), pp. 400–415.