Concepedia

Miquel Palahí

MP

Statistics

Publications

3

Citations

84

H-Index

3

Active since

2011

Affiliations

Universitat de Girona(Current)

Universitat de Lleida

Miquel Palahí is an author at Universitat de Girona specializing in computational complexity, satisfiability, and engineering.

Top concepts

Publications per year

2011–2012

3

Publications

3

Solving constraint satisfaction problems with SAT modulo theories

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

, , +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

, , +23

Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories

Carlos Ansótegui, Miquel Bofill, Miquel Palahí et al. · Constraints · 2012 · 11 citations

, , +10

1–3 of 3