Miquel Bofill

Available identifiers

zbMath Open bofill.miquelMaRDI QIDQ352975

List of research outcomes

Publication	Date of Publication	Type
Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem	2022-08-02	Paper
The sample analysis machine scheduling problem: definition and comparison of exact solving approaches	2022-06-22	Paper
Relaxing non-interference requirements in parallel plans	2021-12-22	Paper
SAT encodings for pseudo-Boolean constraints together with at-most-one constraints	2021-12-13	Paper
Resource Analysis driven by (Conditional) Termination Proofs	2020-05-04	Paper
SAT encodings of pseudo-Boolean constraints with at-most-one relations	2019-10-14	Paper
New complexity results for Łukasiewicz logic	2019-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4583798	2018-09-03	Paper
Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers	2018-02-19	Paper
The Complexity of 3-Valued Łukasiewicz Rules	2017-06-20	Paper
MaxSAT-Based Scheduling of B2B Meetings	2016-07-25	Paper
Solving constraint satisfaction problems with SAT modulo theories	2015-01-22	Paper
Reformulation based MaxSat robustness	2015-01-22	Paper
Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories	2015-01-22	Paper
Paramodulation with non-monotonic orderings and simplification	2013-07-05	Paper
The recursive path and polynomial ordering for first-order and higher-order terms	2013-04-19	Paper
A System for Solving Constraint Satisfaction Problems with SMT	2010-09-29	Paper
Paramodulation with Well-founded Orderings	2009-04-16	Paper
Automated Reasoning	2007-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q4809078	2004-08-12	Paper
Paramodulation and Knuth-Bendix completion with nontotal and nonmonotonic orderings	2003-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q4535075	2002-06-12	Paper
https://portal.mardi4nfdi.de/entity/Q4518870	2000-12-03	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Miquel Bofill