Miquel Bofill

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Efficient SMT formulations for classical planning Journal of Logical and Algebraic Methods in Programming	2026-08-27	Paper
Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem Journal of Artificial Intelligence Research	2022-08-02	Paper
The sample analysis machine scheduling problem: definition and comparison of exact solving approaches Computers & Operations Research	2022-06-22	Paper
Relaxing non-interference requirements in parallel plans Logic Journal of the IGPL	2021-12-22	Paper
SAT encodings for pseudo-Boolean constraints together with at-most-one constraints Artificial Intelligence	2021-12-13	Paper
Resource analysis driven by (conditional) termination proofs Theory and Practice of Logic Programming	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 Soft Computing	2019-08-12	Paper
SAT and SMT technology for many-valued logics	2018-09-03	Paper
Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers Fuzzy Sets and Systems	2018-02-19	Paper
The complexity of 3-valued Łukasiewicz rules Modeling Decisions for Artificial Intelligence	2017-06-20	Paper
MaxSAT-based scheduling of B2B meetings Integration of AI and OR Techniques in Constraint Programming	2016-07-25	Paper
Solving constraint satisfaction problems with SAT modulo theories Constraints	2015-01-22	Paper
Reformulation based MaxSat robustness Constraints	2015-01-22	Paper
Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories Constraints	2015-01-22	Paper
Paramodulation with non-monotonic orderings and simplification Journal of Automated Reasoning	2013-07-05	Paper
The recursive path and polynomial ordering for first-order and higher-order terms Journal Of Logic And Computation	2013-04-19	Paper
A system for solving constraint satisfaction problems with SMT Theory and Applications of Satisfiability Testing – SAT 2010	2010-09-29	Paper
Paramodulation with Well-founded Orderings Journal Of Logic And Computation	2009-04-16	Paper
Automated Reasoning Lecture Notes in Computer Science	2007-09-25	Paper
scientific article; zbMATH DE number 2090319 (Why is no real title available?)	2004-08-12	Paper
Paramodulation and Knuth-Bendix completion with nontotal and nonmonotonic orderings Journal of Automated Reasoning	2003-06-09	Paper
scientific article; zbMATH DE number 1754647 (Why is no real title available?)	2002-06-12	Paper
scientific article; zbMATH DE number 1538015 (Why is no real title available?)	2000-12-03	Paper

Research outcomes over time

This page was built for person: Miquel Bofill