English   español  

Browsing by Author Bonet, María Luisa

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 9 of 9
RightsPreviewIssue DateTitleAuthor(s)Type
openAccessA New Algorithm for Weighted Partial MaxSAT∗.pdf.jpg11-Jul-2010A New Algorithm for Weighted Partial MaxSATAnsotegui, Carlos; Bonet, María Luisa; Levy, Jordi CSIC ORCID comunicación de congreso
openAccessCarotenoides en agroalimentacion y salud IBERCAROT.pdf.jpg11-Nov-2017Carotenoides en agroalimentación y saludAguilar-Espinosa, Margarita; Alcalde, María Jesús; Alonso, Gonzalo L.; Álvarez, Rocío; Angaman, Djédoux Maxime; Arhazem, Oussama; Ávalos, Javier; Bagur, María José; Benítez-González, Ana; Berman, Judit; Bonet, María Luisa; Boronat, Albert CSIC ORCID; Cañas, José Antonio; Capell, Teresa; Cárdenas-Conejo, Yair; Carle, Reinhold; Cerda, Ariel; Chacón-Ordóñez, Tania; Christou, Paul; Cuéllar, Fabio A.; De Pourcq, Karel CSIC; Dias, Maria da Graça; Esquivel, Patricia; Estévez Santiago, Rocío CSIC ORCID; Farré, Gemma; Gallardo Guerrero, Lourdes CSIC ORCID ; Gámbaro, Adriana; Gandul-Rojas, Beatriz CSIC ORCID ; García Romero, Josefa; García-Rodríguez, María del Valle; Garrido-Fernández, Juan; Garza-Caligaris, Luz Elena; Gavilán Bravo, Andrés; Ginés, Rafael; Godoy-Hernández, Gregorio; Gómez-Gómez, Lourdes; Hempel, Judith; Heredia, Francisco José; Hernández-Gras, Francesc CSIC; Hornero-Méndez, Dámaso CSIC ORCID ; Izquierdo, Marisol; Jarén-Galán, Manuel CSIC ; Jiménez, Víctor M.; Lado, Joanna CSIC ORCID; Limón, M. Carmen; Lugo-Cervantes, Eugenia; Luque de Castro, María Dolores; Maldonado, Eliana M.; Mapelli-Brahm, Paula; Martínez Vázquez, Ana; Meléndez-Martínez, Antonio J.; Mellado-Ortega, Elena CSIC; Mercadante, Adriana Z.; Molina-Calle, María; Murillo, Enrique; Odorissi Xavier, Ana Augusta; Olmedilla-Alonso, Begoña CSIC ORCID; Ornelas-Paz, José de Jesús; Osorio, Coralia; Palou, Andreu; Pérez Gálvez, Antonio CSIC ORCID ; Ribot, Joan; Rivera-Madrid, Renata; Robaina, Lidia; Roca, María CSIC ORCID ; Rodrigo, María Jesús CSIC ORCID; Rodriguez-Concepcion, Manuel CSIC ORCID ; Rubio-Moraga, Ángela; Ruiz-Sola, María Águila; Saavedra, Gloria F.; Salinas, M. Rosario; Schweiggert, Ralf M.; Simpson, Kevin; Stange, Claudia; Stinco, Carla M.; Vargas-Murga, Liliana; Vicario, Isabel M.; Zacarías, Lorenzo CSIC ORCID ; Zhu, Changfu; Zorrilla-Lopez, Uxuelibro
openAccess3-Jul-2020Equivalence Between Systems Stronger Than ResolutionBonet, María Luisa; Levy, Jordi CSIC ORCID comunicación de congreso
openAccess16-Sep-2013Improving WPM2 for (Weighted) Partial MaxSATAnsotegui, Carlos; Bonet, María Luisa; Gabas, Joel; Levy, Jordi CSIC ORCID capítulo de libro
closedAccessaccesoRestringido.pdf.jpg2007Resolution for Max-SATBonet, María Luisa; Levy, Jordi CSIC ORCID ; Manyà, Felip CSIC ORCID artículo
closedAccessaccesoRestringido.pdf.jpg2013Resolution procedures for multiple-valued optimizationAnsotegui, Carlos; Bonet, María Luisa; Levy, Jordi CSIC ORCID ; Manyà, Felip CSIC ORCID artículo
closedAccessaccesoRestringido.pdf.jpg2013SAT-based MaxSAT algorithmsAnsotegui, Carlos; Bonet, María Luisa; Levy, Jordi CSIC ORCID artículo
closedAccessaccesoRestringido.pdf.jpg2017Structure features for SAT instances classificationAnsotegui, Carlos; Bonet, María Luisa; Giráldez-Crú, Jesúsartículo
openAccess19-Jul-2014The Fractal Dimension of SAT FormulasAnsotegui, Carlos; Bonet, María Luisa; Giráldez-Crú, Jesús; Levy, Jordi CSIC ORCID comunicación de congreso