The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Miquel Bofill" ( http://dblp.L3S.de/Authors/Miquel_Bofill )

URL (Homepage):  https://orcid.org/0000-0003-0308-9867  Author page on DBLP  Author page in RDF  Community of Miquel Bofill in ASPL-2

Publication years (Num. hits)
1999-2012 (16) 2013-2016 (18) 2017-2019 (10)
Publication types (Num. hits)
article(14) inproceedings(30)
Venues (Conferences, Journals, ...)
CP(5) Constraints(3) ISMVL(3) CCIA(2) CoRR(2) CPAIOR(2) IJCAI(2) J. Autom. Reasoning(2) J. Log. Comput.(2) AIME(1) CADE(1) CAV(1) FMCAD(1) FroCoS(1) Fuzzy Sets and Systems(1) ICALP(1) More (+10 of total 30)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 3 keywords

Results
Found 45 publication records. Showing 44 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Elvira Albert, Miquel Bofill, Cristina Borralleras, Enrique Martin-Martin, Albert Rubio Resource Analysis driven by (Conditional) Termination Proofs. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Miquel Bofill, Felip Manyà, Amanda Vidal, Mateu Villaret New complexity results for Łukasiewicz logic. Search on Bibsonomy Soft Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Miquel Bofill, Cristina Borralleras, Enrique Martin-Martin, Albert Rubio Resource Analysis driven by (Conditional) Termination Proofs. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret SAT Encodings of Pseudo-Boolean Constraints with At-Most-One Relations. Search on Bibsonomy CPAIOR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Jesús Giráldez-Cru, Josep Suy, Mateu Villaret A Study on Implied Constraints in a MaxSAT Approach to B2B Problems. Search on Bibsonomy CCIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Carlos Ansótegui, Miquel Bofill, Jordi Coll, Nguyen Dang, Juan Luis Esteban, Ian Miguel, Peter Nightingale, András Z. Salamon, Josep Suy, Mateu Villaret Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Marcos Calderón, Francesc Castro, Esteve del Acebo, Pablo Delgado, Marc Garcia, Marta García, Marc Roig, María O. Valentín, Mateu Villaret The Spanish Kidney Exchange Model: Study of Computation-Based Alternatives to the Current Procedure. Search on Bibsonomy AIME The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret An Efficient SMT Approach to Solve MRCPSP/max Instances with Tight Constraints on Resources. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Joan Espasa, Mateu Villaret Relaxed Exists-Step Plans in Planning as SMT. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret Compact MDDs for Pseudo-Boolean Constraints with At-Most-One Relations in Resource-Constrained Scheduling Problems. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Joan Espasa, Mateu Villaret The RANTANPLAN planner: system description. Search on Bibsonomy Knowledge Eng. Review The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Víctor Muñoz, Javier Murillo Solving the Wastewater Treatment Plant Problem with SMT. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Carlos Ansótegui, Miquel Bofill, Felip Manyà, Mateu Villaret Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers. Search on Bibsonomy Fuzzy Sets and Systems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret Solving the Multi-Mode Resource-Constrained Project Scheduling Problem with SMT. Search on Bibsonomy ICTAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Joan Espasa, Mateu Villaret A Semantic Notion of Interference for Planning Modulo Theories. Search on Bibsonomy ICAPS The full citation details ... 2016 DBLP  BibTeX  RDF
1Carlos Ansótegui, Miquel Bofill, Felip Manyà, Mateu Villaret SAT and SMT Technology for Many-Valued Logics. Search on Bibsonomy Multiple-Valued Logic and Soft Computing The full citation details ... 2015 DBLP  BibTeX  RDF
1Miquel Bofill, Marc Garcia, Josep Suy, Mateu Villaret MaxSAT-Based Scheduling of B2B Meetings. Search on Bibsonomy CPAIOR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Felip Manyà, Amanda Vidal, Mateu Villaret The Complexity of 3-Valued Łukasiewicz Rules. Search on Bibsonomy MDAI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jesús Manuel Almendros-Jiménez, Miquel Bofill, Alejandro Luna Tedesqui, Ginés Moreno, Carlos Vázquez, Mateu Villaret Fuzzy XPath for the Automatic Search of Fuzzy Formulae Models. Search on Bibsonomy SUM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Felip Manyà, Amanda Vidal, Mateu Villaret Finding Hard Instances of Satisfiability in Lukasiewicz Logics. Search on Bibsonomy ISMVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret A System for Generation and Visualization of Resource-Constrained Projects. Search on Bibsonomy CCIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Joan Espasa, Marc Garcia, Miquel Palahí, Josep Suy, Mateu Villaret Scheduling B2B Meetings. Search on Bibsonomy CP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret Solving Intensional Weighted CSPs by Incremental Optimization with BDDs. Search on Bibsonomy CP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Dídac Busquets, Mateu Villaret Reformulation Based MaxSAT Robustness - (Extended Abstract). Search on Bibsonomy CP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Dídac Busquets, Víctor Muñoz, Mateu Villaret Reformulation based MaxSAT robustness. Search on Bibsonomy Constraints The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Carlos Ansótegui, Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories. Search on Bibsonomy Constraints The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Albert Rubio Paramodulation with Non-Monotonic Orderings and Simplification. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Cristina Borralleras, Enric Rodríguez-Carbonell, Albert Rubio The recursive path and polynomial ordering for first-order and higher-order terms. Search on Bibsonomy J. Log. Comput. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret Solving constraint satisfaction problems with SAT modulo theories. Search on Bibsonomy Constraints The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Carlos Ansótegui, Miquel Bofill, Felip Manyà, Mateu Villaret Building Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability Modulo Theory Solvers. Search on Bibsonomy ISMVL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Carlos Ansótegui, Miquel Bofill, Felip Manyà, Mateu Villaret Extending Multiple-Valued Clausal Forms with Linear Integer Arithmetic. Search on Bibsonomy ISMVL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Carlos Ansótegui, Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret Satisfiability Modulo Theories: An Efficient Approach for the Resource-Constrained Project Scheduling Problem. Search on Bibsonomy SARA The full citation details ... 2011 DBLP  BibTeX  RDF
1Miquel Bofill, Josep Suy, Mateu Villaret A System for Solving Constraint Satisfaction Problems with SMT. Search on Bibsonomy SAT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Dídac Busquets, Mateu Villaret A declarative approach to robust weighted Max-SAT. Search on Bibsonomy PPDP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF max-sat, robustness
1Miquel Bofill, Albert Rubio Paramodulation with Well-founded Orderings. Search on Bibsonomy J. Log. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Dídac Busquets, Mateu Villaret Auction Robustness through Satisability Modulo Theories. Search on Bibsonomy WAT The full citation details ... 2009 DBLP  BibTeX  RDF
1Miquel Bofill, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio The Barcelogic SMT Solver. Search on Bibsonomy CAV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio A Write-Based Solver for SAT Modulo the Theory of Arrays. Search on Bibsonomy FMCAD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Albert Rubio Redundancy Notions for Paramodulation with Non-monotonic Orderings. Search on Bibsonomy IJCAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Guillem Godoy, Robert Nieuwenhuis, Albert Rubio Paramodulation and Knuth-Bendix Completion with Nontotal and Nonmonotonic Orderings. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Albert Rubio Well-Foundedness Is Sufficient for Completeness of Ordered Paramodulation. Search on Bibsonomy CADE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Guillem Godoy On the Completeness of Arbitrary Selection Strategies for Paramodulation. Search on Bibsonomy ICALP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF automated deduction
1Miquel Bofill, Guillem Godoy, Robert Nieuwenhuis, Albert Rubio Modular Redundancy for Theorem Proving. Search on Bibsonomy FroCoS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Guillem Godoy, Robert Nieuwenhuis, Albert Rubio Paramodulation with Non-Monotonic Orderings. Search on Bibsonomy LICS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF term rewriting, automated deduction
Displaying result #1 - #44 of 44 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license