Travelled to:1 × USA
Collaborated with:C.Mencía J.Marques-Silva
Talks about:pinpoint (1) formula (1) enumer (1) effici (1) applic (1) axiom (1) horn (1) mus (1)
Person: M. Fareed Arif
DBLP: Arif:M=_Fareed
Contributed to:
2015Wrote 1 papers:
- SAT-2015-ArifMM #axiom #performance
- Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing (MFA, CM, JMS), pp. 324–342.