"Levy, Jordi" / Database: ScienceDirect / Publisher: elsevier b.v. - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Levy, Jordi"' showing total 6 results

Start Over "Levy, Jordi" Database ScienceDirect Publisher elsevier b.v.

6 results on '"Levy, Jordi"'

1. Polynomial calculus for optimization

Author: Bonacina, Ilario, Bonet, Maria Luisa, and Levy, Jordi
Published: 2024
Full Text: View/download PDF

2. Popularity-similarity random SAT formulas

Author: Giráldez-Cru, Jesús and Levy, Jordi
Published: 2021
Full Text: View/download PDF

3. Generating SAT instances with community structure

Author: Giráldez-Cru, Jesús and Levy, Jordi
Published: 2016
Full Text: View/download PDF

4. SAT-based MaxSAT algorithms

Author: Ansótegui, Carlos, Bonet, Maria Luisa, and Levy, Jordi
Published: 2013
Full Text: View/download PDF

5. Resolution for Max-SAT

Author: Bonet, María Luisa, Levy, Jordi, and Manyà, Felip
Published: 2007
Full Text: View/download PDF

6. WITHDRAWN: On Chvátal rank and cutting planes proofs

Author: Atserias, Albert, Luisa Bonet, María, and Levy, Jordi
Published: 2007
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results