Travelled to:1 × USA
Collaborated with:H.Rueß D.Selsam
Talks about:intension (1) congruenc (1) satisfi (1) theori (1) solver (1) demand (1) closur (1) lemma (1) type (1)
Person: Leonardo de Moura
DBLP: Moura:Leonardo_de
Facilitated 1 volumes:
EdContributed to:
2002
2016Wrote 2 papers:
- SAT-2002-RuessM #satisfiability
- Lemmas on demand for Satisfiability solvers (HR, LdM), p. 17.
- IJCAR-2016-SelsamM #congruence #type system
- Congruence Closure in Intensional Type Theory (DS, LdM), pp. 99–115.