Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Levy, Jordi
248  Ergebnisse:
Personensuche X
?
1

Implementing 3-SAT Gadgets for Quantum Annealers with Rando..:

, In: Computational Science – ICCS 2024; Lecture Notes in Computer Science,
Rodríguez-Farrés, Pol ; Ballester, Rocco ; Ansótegui, Carlos.. - p. 277-291 , 2024
Link: https://doi.org/10.1007/..
 
?
2

The impact of heterogeneity and geometry on the proof compl..:

Bläsius, Thomas ; Friedrich, Tobias ; Göbel, Andreas..
Random Structures & Algorithms.  63 (2023)  4 - p. 885-941 , 2023
Link: https://doi.org/10.1002/..
 
?
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

Multi-objective vehicle routing with automated negotiation:

de Jonge, Dave ; Bistaffa, Filippo ; Levy, Jordi
Applied Intelligence.  52 (2022)  14 - p. 16916-16939 , 2022
Link: https://doi.org/10.1007/..
 
?
5

The impact of heterogeneity and geometry on the proof compl..:

, In: Proceedings of the Thirty-Second Annual ACM-SIAM Symposium on Discrete Algorithms,
Bläsius, Thomas ; Friedrich, Tobias ; Göbel, Andreas.. - p. 42-53 , 2021
Link: https://dl.acm.org/doi/1..
 
?
6

A Heuristic Algorithm for Multi-Agent Vehicle Routing with ..:

, In: Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems,
de Jonge, Dave ; Bistaffa, Filippo ; Levy, Jordi - p. 404-412 , 2021
Link: https://dl.acm.org/doi/1..
 
?
7

The Impact of Heterogeneity and Geometry on the Proof Compl..:

, In: Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA),
Bläsius, Thomas ; Friedrich, Tobias ; Göbel, Andreas.. - p. 42-53 , 2021
Link: https://doi.org/10.1137/..
 
?
8

Popularity-similarity random SAT formulas:

Giráldez-Cru, Jesús ; Levy, Jordi
Artificial Intelligence.  299 (2021)  - p. 103537 , 2021
Link: https://doi.org/10.1016/..
 
?
9

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/..
 
?
10

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/..
 
?
11

Generating SAT instances with community structure:

Giráldez-Cru, Jesús ; Levy, Jordi
Artificial Intelligence.  238 (2016)  - p. 119-134 , 2016
Link: https://doi.org/10.1016/..
 
?
12

Higher-Order Pattern Anti-Unification in Linear Time:

Baumgartner, Alexander ; Kutsia, Temur ; Levy, Jordi.
Journal of Automated Reasoning.  58 (2016)  2 - p. 293-310 , 2016
Link: https://doi.org/10.1007/..
 
?
13

Exploiting subproblem optimization in SAT-based MaxSAT algo..:

Ansótegui, Carlos ; Gabàs, Joel ; Levy, Jordi
Journal of Heuristics.  22 (2015)  1 - p. 1-53 , 2015
Link: https://doi.org/10.1007/..
 
?
14

Resolution procedures for multiple-valued optimization:

Ansótegui, Carlos ; Bonet, María Luisa ; Levy, Jordi.
Information Sciences.  227 (2013)  - p. 43-59 , 2013
Link: https://doi.org/10.1016/..
 
?
15

SAT-based MaxSAT algorithms:

Ansótegui, Carlos ; Bonet, Maria Luisa ; Levy, Jordi
Artificial Intelligence.  196 (2013)  - p. 77-105 , 2013
Link: https://doi.org/10.1016/..
 
1-15