Miquel Bofill

Solving constraint satisfaction problems with SAT modulo theories

Miquel Bofill, Miquel Palahí, Josep Suy et al. · Constraints · 2012 · 43 citations

Constraint Solving, Engineering, Automated Reasoning +6

Satisfiability Modulo Theories: An Efficient Approach for the Resource-Constrained Project Scheduling Problem

Carlos Ansótegui, Miquel Bofill, Miquel Palahí et al. · Symposium on Abstraction, Reformulation and Approximation · 2011 · 30 citations

Mathematical Programming, Engineering, Project Scheduling +23

Building Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability Modulo Theory Solvers

Carlos Ansótegui, Miquel Bofill, Felip Manyà et al. · 2012 · 25 citations

Smt Technology, Proof Theory Issues, Engineering +13

SMT encodings for Resource-Constrained Project Scheduling Problems

Miquel Bofill, Jordi Coll, Josep Suy et al. · Computers & Industrial Engineering · 2020 · 22 citations · Full text

Mathematical Programming, Engineering, Project Scheduling +23

A Write-Based Solver for SAT Modulo the Theory of Arrays

Miquel Bofill, Robert Nieuwenhuis, Albert Oliveras et al. · 2008 · 18 citations

Array Axioms, Engineering, Computational Complexity Theory +19