E-LIB Suche - Ergebnisse für: Soler, Joan Ramon

1

Clausal Forms in MaxSAT and MinSAT:

Li, Chu Min ; Manyà, Felip ; Soler, Joan Ramon.
International Journal of Computational Intelligence Systems. 15 (2022) 1 - p. , 2022

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

2

A Tableau Calculus for Non-clausal Maximum Satisfiability:

, In: Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods,

Li, Chu Min ; Manyà, Felip ; Soler, Joan Ramon - p. 58-73 , 2019

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

3

Clause tableaux for maximum and minimum satisfiability:

Argelich, Josep ; Li, Chu Min ; Manyà, Felip.
Logic Journal of the IGPL. 29 (2019) 1 - p. 7-27 , 2019

Link: https://doi.org/10.1093/..

4

Extravasation of oxaliplatin: an infrequent and irritant to..:

Pericay, Carles ; López, Anna ; Soler, Joan Ramón...
Clinical and Translational Oncology. 11 (2009) 2 - p. 114-116 , 2009

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

5

From Non-Clausal to Clausal MinSAT:

Li, Chu-Min ; Manyà, Felip ; Soler, Joan Ramon.
info:eu-repo/semantics/altIdentifier/doi/10.3233/FAIA210113. , 2021

Link: https://hal.science/hal-..

6

From Non-Clausal to Clausal MinSAT:

Li, Chu-Min ; Manyà, Felip ; Soler, Joan Ramon.
info:eu-repo/semantics/altIdentifier/doi/10.3233/FAIA210113. , 2021

Link: https://hal.science/hal-..

7

Clause tableaux for maximum and minimum satisfiability:

Argelich, Josep ; Li, Chu, Min ; Manyà, Felip.
info:eu-repo/semantics/altIdentifier/doi/10.1093/jigpal/jzz025. , 2019

Link: https://hal.science/hal-..

8

Clause tableaux for maximum and minimum satisfiability:

Argelich, Josep ; Li, Chu, Min ; Manyà, Felip.
info:eu-repo/semantics/altIdentifier/doi/10.1093/jigpal/jzz025. , 2019

Link: https://hal.science/hal-..

9

A Tableau Calculus for Non-clausal Maximum Satisfiability:

Min Li, Chu ; Manyà, Felip ; Soler, Joan Ramon
Postprint. , 2019

Link: http://hdl.handle.net/10..

10

Clausal Form Transformation in MaxSAT:

Min Li, Chu ; Manyà, Felip ; Soler, Joan Ramon
Postprint. , 2019

Link: http://hdl.handle.net/10..

11

A Clause Tableau Calculus for MinSAT:

Li, Chumin ; Manyà, Felip ; Soler, Joan Ramon
Postprint. , 2016

Link: http://hdl.handle.net/10..

12

Diferències sexuals i d'edat: una comparació de la leptina ..:

José Manuel Gómez ; Francisco Javier Maravall ; Joan Soler Ramon
http://revistes.iec.cat/index.php/TSCB/article/view/6639. , 2007

Link: http://revistes.iec.cat/..

13

Role of blood glucose in cytokine gene expression in early ..:

Montolio Rusiñol, Marta ; Téllez i Besolí, Noèlia ; Soler Ramon, Joan.
Reproducció del document publicat a: https://doi.org/10.3727/000000007783464920. , 2007

Link: http://hdl.handle.net/24..

14

Short term culture with the caspases inhibitor z-VAD fmk re..:

Montolio Rusiñol, Marta ; Téllez i Besolí, Noèlia ; Biarnés Costa, Montse..
Reproducció del document publicat a: https://doi.org/10.3727/000000005783983269. , 2005

Link: http://hdl.handle.net/24..

15

B-cell death and mass in syngeneically transplanted islets ..:

Biarnés Costa, Montse ; Montolio Rusiñol, Marta ; Nacher, Victor...
Reproducció del document publicat a: https://doi.org/10.2337/diabetes.51.1.66. , 2002

Link: http://hdl.handle.net/24..