Miquel Palahí

According to our database, Miquel Palahí authored at least 6 papers between 2011 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2015

Reformulation of constraint models into SMT.

Miquel Palahí

PhD thesis, 2015

2014

Solving Intensional Weighted CSPs by Incremental Optimization with BDDs.

Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret

Proceedings of the Principles and Practice of Constraint Programming, 2014

Scheduling B2B Meetings.

Miquel Bofill, Joan Espasa, Marc Garcia, Miquel Palahí, Josep Suy, Mateu Villaret

Proceedings of the Principles and Practice of Constraint Programming, 2014

2013

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

Carlos Ansótegui, Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret

Constraints An Int. J., 2013

2012

Solving constraint satisfaction problems with SAT modulo theories.

Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret

Constraints An Int. J., 2012

2011

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

Carlos Ansótegui, Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret

Proceedings of the Ninth Symposium on Abstraction, Reformulation, and Approximation, 2011