المؤلفون: Suy Franch, Josep

المساهمون: University/Department: Universitat de Girona. Departament d'Informàtica, Matemàtica Aplicada i Estadística (2013-)

Thesis Advisors: Bofill Arasa, Miquel, Villaret i Ausellé, Mateu

المصدر: TDX (Tesis Doctorals en Xarxa)

مصطلحات موضوعية: Constraint programming, Programació amb restriccions, Programación con restricciones, Satisfiability modulo theories, Satisfactibilitat mòdul teories, Satisfactibilidad módulo teorias, Reformulation, Reformulació, Reformulación, Metaconstraints, Metarestriccions, metarestricciones

وصف الملف: application/pdf

URL الوصول: http://hdl.handle.net/10803/98302

المؤلفون: Bofill Arasa, Miquel, Coll Caballero, Jordi, Nightingale, Peter, Suy Franch, Josep, Ulrich-Oltean, Felix, Villaret i Ausellé, Mateu

المصدر: © Artificial Intelligence, 2022, vol. 302, art.núm.103604 ; Articles publicats (D-IMAE) ; Bofill Arasa, Miquel Coll Caballero, Jordi Nightingale, Peter Suy Franch, Josep Ulrich-Oltean, Felix Villaret i Ausellé, Mateu 2022 SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints Artificial Intelligence 302 art.núm.103604

مصطلحات موضوعية: Programació per restriccions (Informàtica), Constraint programming (Computer science), Algorismes computacionals, Computer algorithms

وصف الملف: application/pdf

Relation: info:eu-repo/semantics/altIdentifier/issn/0004-3702; info:eu-repo/semantics/altIdentifier/eissn/1872-7921; http://hdl.handle.net/10256/24309

الاتاحة: http://hdl.handle.net/10256/24309

المؤلفون: Bofill Arasa, Miquel, Coll Caballero, Jordi, Giráldez-Cru, Jesús, Suy Franch, Josep, Villaret i Ausellé, Mateu

المساهمون: Agencia Estatal de Investigación

المصدر: International Journal of Computational Intelligence Systems, 2022, vol. 15, art.núm. 63 ; Articles publicats (D-IMA)

مصطلحات موضوعية: Programació per restriccions (Informàtica), Constraint programming (Computer science), Sistemes d'informació per a la gestió, Management information systems

وصف الملف: application/pdf

Relation: info:eu-repo/semantics/altIdentifier/eissn/1875-6883; RTI2018-095609-B-I00; info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/RTI2018-095609-B-I00/ES/SATISFACTIBILIDAD PARA PROGRAMACION DE TAREAS, PLANIFICACION Y OPTIMIZACION/; http://hdl.handle.net/10256/21661

الاتاحة: http://hdl.handle.net/10256/21661

المؤلفون: Bofill Arasa, Miquel, Coll Caballero, Jordi, Suy Franch, Josep, Villaret i Ausellé, Mateu

المساهمون: Agencia Estatal de Investigación

المصدر: Computers and Operations Research, 2022, vol. 142, art.núm.105730 ; Articles publicats (D-IMA)

مصطلحات موضوعية: Optimització matemàtica, Mathematical optimization, Programació (Matemàtica), Programming (Mathematics)

وصف الملف: application/pdf

Relation: info:eu-repo/semantics/altIdentifier/issn/0305-0548; RTI2018-095609-B-I00; info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/RTI2018-095609-B-I00/ES/SATISFACTIBILIDAD PARA PROGRAMACION DE TAREAS, PLANIFICACION Y OPTIMIZACION/; http://hdl.handle.net/10256/20685

الاتاحة: http://hdl.handle.net/10256/20685

المؤلفون: Ansótegui Gil, Carlos, Bofill Arasa, Miquel, Coll Caballero, Jordi, Dang, Nguyen, Esteban Ángeles, Juan Luis, Miguel, Ian, Nightingale, Peter, Salamon, András Z., Suy Franch, Josep, Villaret Auselle, Mateu

المساهمون: Universitat Politècnica de Catalunya. Departament de Ciències de la Computació

مصطلحات موضوعية: Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica, Constraint programming (Computer science), Computer algorithms, Algebra, Boolean, Automatic CSP reformulation, SAT, Pseudo-Boolean, Atmost-one constraint, Programació per restriccions (Informàtica), Algorismes computacionals, Àlgebra booleana

وصف الملف: 17 p.; application/pdf

Relation: https://link.springer.com/chapter/10.1007/978-3-030-30048-7_2; info:eu-repo/grantAgreement/MINECO/TIN2016-76573-C2-1-P; info:eu-repo/grantAgreement/MINECO/TIN2016-76573-C2-2-P; Ansótegui, C. [et al.]. Automatic detection of at-most-one and exactly-one relations for improved SAT encodings of pseudo-boolean constraints. A: International Conference on Principles and Practice of Constraint Programming. "Principles and Practice of Constraint Programming 25th International Conference, CP 2019: Stamford, CT, USA, September 30-October 4, 2019: proceedings". Berlín: Springer, 2019, p. 20-36.; http://hdl.handle.net/2117/170483

الاتاحة: http://hdl.handle.net/2117/170483
https://doi.org/10.1007/978-3-030-30048-7_2

المؤلفون: Soler i Masó, Josep, García Campos, Rafael, Marzo i Lázaro, Josep Lluís, Suy Franch, Josep, Thió i Fernández de Henestrosa, Santiago

مصطلحات موضوعية: Informàtica -- Ensenyament universitari, Pràctiques (Ensenyament), Universitat de Girona. Escola Politècnica Superior

وصف الملف: application/pdf

Relation: 'Pràctiques en empreses en els estudis d'informàtica: dels convenis de cooperació educativa a les estades en entorns laborals' a Univest 08. Girona: La Universitat, 2008 [consulta: 15 octubre 2008]. Necessita Adobe Acrobat. Disponible a Internet a: http://hdl.handle.net/10256/1065; http://hdl.handle.net/10256/1065

الاتاحة: http://hdl.handle.net/10256/1065

المؤلفون: Soler i Masó, Josep, García Campos, Rafael, Marzo i Lázaro, Josep Lluís, Suy Franch, Josep, Thió i Fernández de Henestrosa, Santiago

مصطلحات موضوعية: Informàtica -- Ensenyament universitari, Pràctiques (Ensenyament), Universitat de Girona. Escola Politècnica Superior

وصف الملف: application/pdf

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-84-8458-274-8; 'Pràctiques en empreses en els estudis d'informàtica: dels convenis de cooperació educativa a les estades en entorns laborals' a Univest 08. Girona: La Universitat, 2008 [consulta: 15 octubre 2008]. Necessita Adobe Acrobat. Disponible a Internet a: http://hdl.handle.net/10256/1065; http://hdl.handle.net/10256/1065

الاتاحة: http://hdl.handle.net/10256/1065

المؤلفون: Bofill Arasa, Miquel, Palahí i Sitges, Miquel, Suy Franch, Josep, Villaret i Ausellé, Mateu

المصدر: © Constraint Modelling and Reformulation, 8th International Workshop : Lisbon, Portugal, September, 2009, p.30-45 ; Articles publicats (D-IMA)

مصطلحات موضوعية: Algorismes computacionals, Computer algorithms, Lògica matemàtica, Logic, Symbolic and mathematical

وصف الملف: application/pdf

Relation: http://hdl.handle.net/10256/8406

الاتاحة: http://hdl.handle.net/10256/8406

المؤلفون: Universitat Politècnica de Catalunya. Departament de Ciències de la Computació, Ansótegui Gil, Carlos, Bofill Arasa, Miquel, Coll Caballero, Jordi, Dang, Nguyen, Esteban Ángeles, Juan Luis, Miguel, Ian, Nightingale, Peter, Salamon, András Z., Suy Franch, Josep, Villaret Auselle, Mateu

مصطلحات الفهرس: Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica, Constraint programming (Computer science), Computer algorithms, Algebra, Boolean, Automatic CSP reformulation, SAT, Pseudo-Boolean, Atmost-one constraint, Programació per restriccions (Informàtica), Algorismes computacionals, Àlgebra booleana, Conference report

URL: http://hdl.handle.net/2117/170483
https://link.springer.com/chapter/10.1007/978-3-030-30048-7_2
https://link.springer.com/chapter/10.1007/978-3-030-30048-7_2
info:eu-repo/grantAgreement/MINECO/TIN2016-76573-C2-1-P
info:eu-repo/grantAgreement/MINECO/TIN2016-76573-C2-2-P

المؤلفون: Ansótegui, Carlos, Bofill Arasa, Miquel, Palahí i Sitges, Miquel, Suy Franch, Josep, Villaret i Ausellé, Mateu

المساهمون: Ministerio de Educación y Ciencia (Espanya), Generalitat de Catalunya. Agència de Gestió d'Ajuts Universitaris i de Recerca

المصدر: © Constraints, 2013, vol. 18, núm. 2, p. 236-268 ; Articles publicats (D-IMA)

مصطلحات موضوعية: Programació per restriccions (Informàtica), Constraint programming (Computer science), Algorismes computacionals, Computer algorithms, CSP (Llenguatge de programació), CSP (Computer program language)

وصف الملف: application/pdf

Relation: info:eu-repo/semantics/altIdentifier/issn/1383-7133; info:eu-repo/semantics/altIdentifier/eissn/1572-9354; info:eu-repo/grantAgreement/MICINN//TIN2008-04547/ES/SUBASTAS ROBUSTAS MEDIANTE LA INCORPORACION DE TECNICAS DE SATISFACTIBILIDAD MODULO TEORIAS/; AGAUR/2009-2013/2009 SGR-1434; http://hdl.handle.net/10256/12646

الاتاحة: http://hdl.handle.net/10256/12646

المؤلفون: Bofill Arasa, Miquel, Palahí i Sitges, Miquel, Suy Franch, Josep, Villaret i Ausellé, Mateu

المساهمون: Ministerio de Educación y Ciencia (Espanya)

المصدر: © Constraints, 2012, vol. 17, núm. 3, p. 273-303 ; Articles publicats (D-IMA)

مصطلحات موضوعية: Programació per restriccions (Informàtica), Constraint programming (Computer science), Algorismes computacionals, Computer algorithms, CSP (Llenguatge de programació), CSP (Computer program language)

وصف الملف: application/pdf

Relation: info:eu-repo/semantics/altIdentifier/issn/1383-7133; info:eu-repo/semantics/altIdentifier/eissn/1572-9354; info:eu-repo/grantAgreement/MICINN//TIN2008-04547/ES/SUBASTAS ROBUSTAS MEDIANTE LA INCORPORACION DE TECNICAS DE SATISFACTIBILIDAD MODULO TEORIAS/; http://hdl.handle.net/10256/12645

الاتاحة: http://hdl.handle.net/10256/12645

المؤلفون: Bofill Arasa, Miquel, Palahí i Sitges, Miquel, Suy Franch, Josep, Villaret i Ausellé, Mateu

المصدر: Recercat. Dipósit de la Recerca de Catalunya
instname
© Constraint Modelling and Reformulation, 8th International Workshop : Lisbon, Portugal, September, 2009, p.30-45
Articles publicats (D-IMA)
DUGiDocs – Universitat de Girona

مصطلحات موضوعية: Lògica matemàtica, Logic, Symbolic and mathematical, Algorismes computacionals, Computer algorithms

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::548ca501d0d478a9ff73956713acf576
http://hdl.handle.net/10256/8406

المؤلفون: García Ruiz, Itziar

المساهمون: Fernandez Hidalgo, Núria, Suy Franch, Josep, Gil Moreno, Antonio, 1965-

المصدر: TDX (Tesis Doctorals en Xarxa)

مصطلحات موضوعية: Gestació, Gestación, Pregnancy, SARS CoV-2, COVID-19, Ciències de la Salut

Time: 618

وصف الملف: 117 p.; application/pdf

Relation: http://hdl.handle.net/10803/689677

الاتاحة: http://hdl.handle.net/10803/689677

المؤلفون: García Ruiz, Itziar

المساهمون: Fernandez Hidalgo, Núria, Suy Franch, Josep, Gil Moreno, Antonio

مصطلحات موضوعية: Gestació, Gestación, Pregnancy, SARS CoV-2, COVID-19, Ciències de la Salut

وصف الملف: application/pdf

Relation: Programa de Doctorat en Pediatria, Obstetrícia i Ginecologia; https://ddd.uab.cat/record/287125; urn:oai:ddd.uab.cat:287125; urn:oai:www.tdx.cat:10803/689677

الاتاحة: https://ddd.uab.cat/record/287125

المؤلفون: Garcia Sánchez, Sílvia

المساهمون: Universitat de Girona. Escola Politècnica Superior, Suy Franch, Josep

المصدر: Recercat. Dipósit de la Recerca de Catalunya
instname
Enginyeria Informàtica (EINF)
DUGiDocs – Universitat de Girona

مصطلحات موضوعية: Pàgines web -- Disseny, Gossos -- Cria i desenvolupament, Database management, Dogs -- Breeding, Bases de dades -- Disseny, Web sites -- Design, Sistemes d'informació per a la gestió, Management information systems, Bases de dades -- Gestió, Database design

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::06c00f361e0c1c0427fcc1e4802e8560
https://hdl.handle.net/2072/373792

المؤلفون: Coll Caballero, Jordi

المساهمون: Suy Franch, Josep, Villaret i Ausellé, Mateu, Universitat de Girona. Departament d'Informàtica, Matemàtica Aplicada i Estadística (2013-)

المصدر: TDX (Tesis Doctorals en Xarxa)
DUGiDocs – Universitat de Girona
instname
TDR. Tesis Doctorales en Red

مصطلحات موضوعية: Scheduling, Satisfacibilidad módulo teorias, 004 - Informàtica, Programació de tasques, Satisfactibilitat mòdul teories, Restriccions pseudo-Booleanes, Programación de tareas, 68 - Indústries, oficis i comerç d'articles acabats. Tecnologia cibernètica i automàtica, Pseudo-Boolean constraints, 51 - Matemàtiques, Restricciones pseudo-booleanas, Satisfiability modulo theories

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::61e774acfe62d261227cb0e54ad470ed
http://hdl.handle.net/10803/667963

المؤلفون: Nogueira Gascons, Cristòfor

المساهمون: Universitat de Girona. Escola Politècnica Superior, Suy Franch, Josep

المصدر: Enginyeria Informàtica (TFG)
DUGiDocs – Universitat de Girona
instname

مصطلحات موضوعية: Database management, Management information Systems, Programació per restriccions (Informàtica), Constraint programming (Computer science), Algorismes computacionals, Sistemes d'informació per a la gestió, Bases de dades -- Gestió, School schedule -- Automation, Horari escolar -- Automatització, Computer algorithms

وصف الملف: application/pdf; application/zip

URL الوصول: https://explore.openaire.eu/search/publication?articleId=RECOLECTA___::2f22b12f4fa4cc1cbf9f481843f182c2
http://hdl.handle.net/10256/11507

المؤلفون: Moreno Oliveras, David

المساهمون: Suy Franch, Josep, Universitat de Girona. Escola Politècnica Superior

المصدر: Recercat. Dipósit de la Recerca de Catalunya
instname
Enginyeria Informàtica (EINF)
DUGiDocs – Universitat de Girona

مصطلحات موضوعية: Gestió de projectes -- Programes d'ordinador, Project management--Computer programs

وصف الملف: application/pdf; application/zip

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::712f25e77a3f5ee806b7eba3bdbba826
http://hdl.handle.net/10256/8860

المؤلفون: Solà Fernández, Xavier

المساهمون: Suy Franch, Josep, Universitat de Girona. Escola Politècnica Superior

المصدر: Recercat. Dipósit de la Recerca de Catalunya
instname
Enginyeria Tècnica. Informàtica de Gestió (ETIG)
DUGiDocs – Universitat de Girona

مصطلحات موضوعية: Sistemes d'informació per a la gestió, Management information systems, Restaurants -- Automatització, Restaurants -- Automation

وصف الملف: application/pdf; application/zip

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::db83c367e15bf31ef5fdd1a127f0cac6
https://hdl.handle.net/10256/4977

المؤلفون: Royán Salvatella, Carles

المساهمون: Suy Franch, Josep, Universitat de Girona. Escola Politècnica Superior

المصدر: Recercat. Dipósit de la Recerca de Catalunya
instname
Enginyeria Tècnica. Informàtica de Sistemes (ETIS)
DUGiDocs – Universitat de Girona

مصطلحات موضوعية: Programació orientada a l'objecte (Informàtica), Java (Computer program language), Java (Llenguatge de programació), Object-oriented programming

وصف الملف: application/pdf; application/zip

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::cc16b10148dae19561a3e958b63f66ab
http://hdl.handle.net/10256/7084