Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Bonet, Maria Luisa
668  Ergebnisse:
Personensuche X
?
1

The Effect of Beta-Carotene on Cognitive Function: A System..:

Abrego-Guandique, Diana Marisol ; Bonet, Maria Luisa ; Caroleo, Maria Cristina...
Brain Sciences.  13 (2023)  10 - p. 1468 , 2023
Link: https://doi.org/10.3390/..
 
?
2

On the strength of Sherali-Adams and Nullstellensatz as pro..:

, In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science,
Bonacina, Ilario ; Bonet, Maria Luisa - p. 1-12 , 2022
Link: https://dl.acm.org/doi/1..
 
?
3

Scale-Free Random SAT Instances:

Ansótegui, Carlos ; Bonet, Maria Luisa ; Levy, Jordi
Algorithms.  15 (2022)  6 - p. 219 , 2022
Link: https://doi.org/10.3390/..
 
?
4

Propositional proof systems based on maximum satisfiability:

Bonet, Maria Luisa ; Buss, Sam ; Ignatiev, Alexey..
Artificial Intelligence.  300 (2021)  - p. 103552 , 2021
Link: https://doi.org/10.1016/..
 
?
5

Regulation of Gene Expression:

, In: Principles of Nutrigenetics and Nutrigenomics,
Bonet, Maria Luisa ; Palou, Andreu - p. 17-25 , 2020
Link: https://doi.org/10.1016/..
 
?
6

2-D Tucker is PPA complete:

Aisenberg, James ; Bonet, Maria Luisa ; Buss, Sam
Journal of Computer and System Sciences.  108 (2020)  - p. 92-103 , 2020
Link: https://doi.org/10.1016/..
 
?
7

Equivalence Between Systems Stronger Than Resolution:

, In: Theory and Applications of Satisfiability Testing – SAT 2020; Lecture Notes in Computer Science,
Bonet, Maria Luisa ; Levy, Jordi - p. 166-181 , 2020
Link: https://doi.org/10.1007/..
 
?
8

Contributors:

, In: Principles of Nutrigenetics and Nutrigenomics,
Abete, Itziar ; Agirre, Xabier ; Ahlgren, Jennie... - p. ix-xiii , 2020
Link: https://doi.org/10.1016/..
 
?
9

Novel Markers of the Metabolic Impact of Exogenous Retinoic..:

Ribot, Joan ; Arreguín, Andrea ; Kuda, Ondrej...
International Journal of Molecular Sciences.  20 (2019)  15 - p. 3640 , 2019
Link: https://doi.org/10.3390/..
 
?
10

DRMaxSAT with MaxHS: First Contact:

, In: Lecture Notes in Computer Science; Theory and Applications of Satisfiability Testing – SAT 2019,
Morgado, Antonio ; Ignatiev, Alexey ; Bonet, Maria Luisa.. - p. 239-249 , 2019
Link: https://doi.org/10.1007/..
 
?
11

Programming of the Beige Phenotype in White Adipose Tissue ..:

Serrano, Alba ; Asnani-Kishnani, Madhu ; Rodríguez, Ana María...
Molecular Nutrition & Food Research.  62 (2018)  21 - p. , 2018
Link: https://doi.org/10.1002/..
 
?
12

Short proofs of the Kneser–Lovász coloring principle:

Aisenberg, James ; Bonet, Maria Luisa ; Buss, Sam..
Information and Computation.  261 (2018)  - p. 296-310 , 2018
Link: https://doi.org/10.1016/..
 
?
13

Structure features for SAT instances classification:

Ansótegui, Carlos ; Bonet, Maria Luisa ; Giráldez-Cru, Jesús.
Journal of Applied Logic.  23 (2017)  - p. 27-39 , 2017
Link: https://doi.org/10.1016/..
 
?
14

QUASIPOLYNOMIAL SIZE FREGE PROOFS OF FRANKL'S THEOREM ON TH..:

AISENBERG, JAMES ; BONET, MARIA LUISA ; BUSS, SAM
The Journal of Symbolic Logic.  81 (2016)  2 - p. 687-710 , 2016
Link: http://www.jstor.org/sta..
 
?
15

QUASIPOLYNOMIAL SIZE FREGE PROOFS OF FRANKL'S THEOREM ON TH..:

AISENBERG, JAMES ; BONET, MARIA LUISA ; BUSS, SAM
The Journal of Symbolic Logic.  81 (2016)  2 - p. 687-710 , 2016
Link: https://doi.org/10.1017/..
 
1-15