English   español  

Browsing by Author Ansotegui, Carlos

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 15 of 15
RightsPreviewIssue DateTitleAuthor(s)Type
closedAccessaccesoRestringido.pdf.jpg23-Oct-2013A Max-SAT-Based Approach to Constructing Optimal Covering ArraysAnsotegui, Carlos; Izquierdo, Idelfonso; Manyà, Felip ; Torres-Jimenez, Josecomunicación de congreso
openAccessA New Algorithm for Weighted Partial MaxSAT∗.pdf.jpg11-Jul-2010A New Algorithm for Weighted Partial MaxSATAnsotegui, Carlos; Bonet, Maria Luisa; Levy, Jordi  actas de congreso
closedAccessaccesoRestringido.pdf.jpg2016Automated theorem provers for multiple-valued logics with satisfiability modulo theory solversAnsotegui, Carlos; Bofill, Miquel; Manyà, Felip ; Villaret, Mateu artículo
openAccess2019Community structure in industrial SAT instancesAnsotegui, Carlos; Bonet, M. Luisa; Levy, Jordi  ; Simon, Laurentartículo
closedAccessaccesoRestringido.pdf.jpg2018Exploiting moral values to choose the right normsSerramia, Marc ; López-Sánchez, Maite ; Rodríguez-Aguilar, Juan Antonio  ; Morales, Javier; Wooldridge, Michael; Ansotegui, Carloscomunicación de congreso
closedAccessaccesoRestringido.pdf.jpg2007Exploiting multivalued knowledge in variable selection heuristics for SAT solversAnsotegui, Carlos; Larrubia, Jose; Li, Chumin; Manyà, Felip artículo
closedAccessaccesoRestringido.pdf.jpg2016Exploiting subproblem optimization in SAT-based MaxSAT algorithmsAnsotegui, Carlos; Gabas, Joel; Levy, Jordi  artículo
openAccess16-Sep-2013Improving WPM2 for (Weighted) Partial MaxSATAnsotegui, Carlos; Bonet, Maria Luisa; Gabas, Joel; Levy, Jordi  capítulo de libro
closedAccessaccesoRestringido.pdf.jpg2018Moral Values in Norm Decision MakingSerramia, Marc ; López-Sánchez, Maite ; Rodríguez-Aguilar, Juan Antonio  ; Wooldridge, Michael; Morales, Javier; Ansotegui, Carloscomunicación de congreso
openAccess23-Oct-2019Phase Transition in Realistic Random SAT ModelsAnsotegui, Carlos; Bonet, M. Luisa; Levy, Jordi  actas de congreso
closedAccessaccesoRestringido.pdf.jpg2013Resolution procedures for multiple-valued optimizationAnsotegui, Carlos; Bonet, Maria Luisa; Levy, Jordi  ; Manyà, Felip artículo
closedAccessaccesoRestringido.pdf.jpg2015SAT and SMT technology for many-valued logicsAnsotegui, Carlos; Bofill, Miquel; Manyà, Felip ; Villaret, Mateu artículo
closedAccessaccesoRestringido.pdf.jpg2013SAT-based MaxSAT algorithmsAnsotegui, Carlos; Bonet, Maria Luisa; Levy, Jordi  artículo
closedAccessaccesoRestringido.pdf.jpg2017Structure features for SAT instances classificationAnsotegui, Carlos; Bonet, Maria Luisa; Giráldez-Crú, Jesús artículo
openAccess19-Jul-2014The Fractal Dimension of SAT FormulasAnsotegui, Carlos; Bonet, Maria Luisa; Giráldez-Crú, Jesús ; Levy, Jordi  comunicación de congreso