`Travelled to:`

1 × Finland

1 × France

4 × USA

`Collaborated with:`

R.Hasegawa M.Koshimura K.Furukawa T.Kanamori T.Shintani A.Okumura

`Talks about:`

generat (3) model (3) constraint (2) theorem (2) program (2) partial (2) prover (2) effici (2) evalu (2) base (2)

## Person: Hiroshi Fujita

### DBLP: Fujita:Hiroshi

### Contributed to:

### Wrote 7 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-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.
- ICLP-1991-FujitaH #algorithm #generative #proving #theorem proving #using
- A Model Generation Theorem Prover in KL1 Using a Ramified -Stack Algorithm (HF, RH), pp. 535–548.
- NACLP-1989-FurukawaFS #partial evaluation #performance
- Deriving an Efficient Production System by Partial Evaluation (KF, HF, TS), pp. 661–674.
- JICSCP-1988-FujitaOF88 #constraints #haskell #partial evaluation #source code
- Partial Evaluation of GHC Programs Based on the UR-set with Constraints (HF, AO, KF), pp. 924–941.
- CADE-1986-KanamoriF #induction #prolog #source code #verification
- Formulation of Induction Formulas in Verification of Prolog Programs (TK, HF), pp. 281–299.