Josep Suy

Available identifiers

zbMath Open suy.josepDBLP13/763WikidataQ57439083 ScholiaQ57439083MaRDI QIDQ487630

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
SAT encodings for pseudo-Boolean constraints together with at-most-one constraints	2021-12-13	Paper
SAT encodings of pseudo-Boolean constraints with at-most-one relations	2019-10-14	Paper
MaxSAT-Based Scheduling of B2B Meetings	2016-07-25	Paper
Solving constraint satisfaction problems with SAT modulo theories	2015-01-22	Paper
Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories	2015-01-22	Paper
A System for Solving Constraint Satisfaction Problems with SMT	2010-09-29	Paper

Research outcomes over time

This page was built for person: Josep Suy