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: Bofill:Miquel
Contributed to:
2010
2010
2008
2004
2002
2001
1999Wrote 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.