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 × Austria
1 × Denmark
1 × Greece
1 × Ireland
1 × Italy
1 × USA
1 × United Kingdom
Collaborated with:
A.Rubio G.Godoy M.Villaret R.Nieuwenhuis D.Busquets J.Suy A.Oliveras E.Rodríguez-Carbonell
Talks about:
paramodul (4) order (3) monoton (2) complet (2) smt (2) non (2) constraint (1) satisfact (1) arbitrari (1) strategi (1)

Person: Miquel Bofill

DBLP DBLP: Bofill:Miquel

Contributed to:

PPDP 20102010
SAT 20102010
CAV 20082008
IJCAR 20042004
CADE 20022002
ICALP 20012001
LICS 19991999

Wrote 7 papers:

PPDP-2010-BofillBV #approach #declarative #robust #satisfiability
A declarative approach to robust weighted Max-SAT (MB, DB, MV), pp. 67–76.
SAT-2010-BofillSV #constraints #problem #smt
A System for Solving Constraint Satisfaction Problems with SMT (MB, JS, MV), pp. 300–305.
CAV-2008-BofillNORR #smt
The Barcelogic SMT Solver (MB, RN, AO, ERC, AR), pp. 294–298.
IJCAR-2004-BofillR #order
Redundancy Notions for Paramodulation with Non-monotonic Orderings (MB, AR), pp. 107–121.
CADE-2002-BofillR #order
Well-Foundedness Is Sufficient for Completeness of Ordered Paramodulation (MB, AR), pp. 456–470.
ICALP-2001-BofillG #on the
On the Completeness of Arbitrary Selection Strategies for Paramodulation (MB, GG), pp. 951–962.
LICS-1999-BofillGNR #order
Paramodulation with Non-Monotonic Orderings (MB, GG, RN, AR), pp. 225–233.

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.