BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × USA
Collaborated with:
J.Marques-Silva M.F.Arif A.Previti
Talks about:
horn (2) pinpoint (1) formula (1) enumer (1) effici (1) applic (1) upper (1) least (1) bound (1) axiom (1)

Person: Carlos Mencía

DBLP DBLP: Menc=iacute=a:Carlos

Contributed to:

SAT 20152015

Wrote 2 papers:

SAT-2015-ArifMM #axiom #performance
Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing (MFA, CM, JMS), pp. 324–342.
SAT-2015-MenciaPM #bound #satisfiability
SAT-Based Horn Least Upper Bounds (CM, AP, JMS), pp. 423–433.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.