E-LIB Suche - Ergebnisse für: Coll, Jordi

1

A Tableau Calculus for Signed Maximum Satisfiability:

, In: 2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL),

Li, Shuolin ; Coll, Jordi ; Habet, Djamal.. - p. 170-175 , 2023

Link: https://doi.org/10.1109/..

2

MaxSAT resolution for regular propositional logic:

Coll, Jordi ; Li, Chu-Min ; Manyà, Felip.
International Journal of Approximate Reasoning. 162 (2023) - p. 109010 , 2023

Link: https://doi.org/10.1016/..

3

SAT encodings for Pseudo-Boolean constraints together with ..:

Bofill, Miquel ; Coll, Jordi ; Nightingale, Peter...
Artificial Intelligence. 302 (2022) - p. 103604 , 2022

Link: https://doi.org/10.1016/..

4

The Sample Analysis Machine Scheduling Problem: Definition ..:

Bofill, Miquel ; Coll, Jordi ; Martín, Gerard..
Computers & Operations Research. 142 (2022) - p. 105730 , 2022

Link: https://doi.org/10.1016/..

5

The Impact of Implied Constraints on MaxSAT B2B Instances:

Bofill, Miquel ; Coll, Jordi ; Giráldez-Cru, Jesús..
International Journal of Computational Intelligence Systems. 15 (2022) 1 - p. , 2022

Link: https://doi.org/10.1007/..

6

Merlí

sapere aude : serie completa

Lozano, Héctor ; Álvarez, Alberto ; Fite, Menna... , [2021]

Copies: Zentrale/Mediathek: ph 7489

7

An MDD-based SAT encoding for pseudo-Boolean constraints wi..:

Bofill, Miquel ; Coll, Jordi ; Suy, Josep.
Artificial Intelligence Review. 53 (2020) 7 - p. 5157-5188 , 2020

Link: https://doi.org/10.1007/..

8

SMT encodings for Resource-Constrained Project Scheduling P..:

Bofill, Miquel ; Coll, Jordi ; Suy, Josep.
Computers & Industrial Engineering. 149 (2020) - p. 106777 , 2020

Link: https://doi.org/10.1016/..

9

Automatic Detection of At-Most-One and Exactly-One Relation..:

, In: Lecture Notes in Computer Science; Principles and Practice of Constraint Programming,

Ansótegui, Carlos ; Bofill, Miquel ; Coll, Jordi... - p. 20-36 , 2019

Link: https://doi.org/10.1007/..

10

SAT Encodings of Pseudo-Boolean Constraints with At-Most-On..:

, In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research; Lecture Notes in Computer Science,

Bofill, Miquel ; Coll, Jordi ; Suy, Josep. - p. 112-128 , 2019

Link: https://doi.org/10.1007/..

11

Real-Time PCR Using Fluorescent Resonance Emission Transfer..:

Faner, Rosa ; Casamitjana, Natàlia ; Coll, Jordi...
Human Immunology. 67 (2006) 4-5 - p. 374-385 , 2006

Link: https://doi.org/10.1016/..

12

The utilization of computer planning and 3D-printed guide i..:

Di Felice Ardente, Pierluigi ; Fusaro, Fernando Menor ; Abad, Miguel Pérez..
JSES International. 4 (2020) 3 - p. 569-573 , 2020

Link: https://doi.org/10.1016/..

13

¿Qué influencia tiene el trabajo durante los estudios en la..:

Navarro-Cendejas, José ; Coll, Jordi Planas
Formation emploi. , 2016

Link: https://doi.org/10.4000/..

14

Scheduling through logic-based tools:

Coll Caballero, Jordi
Constraints. 28 (2023) 3 - p. 510-510 , 2023

Link: https://doi.org/10.1007/..

15

Has COVID-19 affected the number and severity of visits to ..:

Esteban, Pedro L. ; Querolt Coll, Jordi ; Xicola Martínez, Marina..
Bone & Joint Open. 1 (2020) 10 - p. 617-620 , 2020

Link: https://doi.org/10.1302/..