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:
2013
200019971992Wrote 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.