Jordi Levy - RankMe

97 papers A* 10A 15B 1C 2Journal 37Unranked 32

Year	Rank	Type	Title / Venue / Authors
2025	A	`conf`	An Algebraic Approach to MaxCSP. SAT Ilario Bonacina, Jordi Levy
2025	J	`jnl`	Nominal anti-unification. CoRR Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret
2025	J	`jnl`	SAT, gadgets, Max2XOR, and quantum annealers. Quantum Inf. Process. Carlos Ansótegui, Jordi Levy
2024	—	`conf`	Implementing 3-SAT Gadgets for Quantum Annealers with Random Instances. ICCS (6) Pol Rodríguez-Farrés, Rocco Ballester, Carlos Ansótegui, Jordi Levy, Jesús Cerquides
2024	J	`jnl`	Polynomial calculus for optimization. Artif. Intell. Ilario Bonacina, Maria Luisa Bonet, Jordi Levy
2024	J	`jnl`	SAT, Gadgets, Max2XOR, and Quantum Annealers. CoRR Carlos Ansótegui, Jordi Levy
2024	A*	`conf`	Weighted, Circular and Semi-Algebraic Proofs (Abstract Reprint). IJCAI Ilario Bonacina, Maria Luisa Bonet, Jordi Levy
2024	J	`jnl`	Weighted, Circular and Semi-Algebraic Proofs. J. Artif. Intell. Res. Ilario Bonacina, Maria Luisa Bonet, Jordi Levy
2023	—	`conf`	General Boolean Formula Minimization with QBF Solvers. CCIA Eduardo Calò, Jordi Levy
2023	J	`jnl`	General Boolean Formula Minimization with QBF Solvers. CoRR Eduardo Calò, Jordi Levy
2023	—	`conf`	Is Shortest Always Best? The Role of Brevity in Logic-to-Text Generation. *SEM@ACL Eduardo Calò, Jordi Levy, Albert Gatt, Kees van Deemter
2023	—	`conf`	On the Density of States of Boolean Formulas. CCIA Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy
2023	A	`conf`	Polynomial Calculus for MaxSAT. SAT Ilario Bonacina, Maria Luisa Bonet, Jordi Levy
2023	J	`jnl`	The impact of heterogeneity and geometry on the proof complexity of random satisfiability. Random Struct. Algorithms Thomas Bläsius, Tobias Friedrich, Andreas Göbel, Jordi Levy, Ralf Rothenberger
2022	J	`jnl`	Multi-objective vehicle routing with automated negotiation. Appl. Intell. Dave de Jonge, Filippo Bistaffa, Jordi Levy
2022	J	`jnl`	Nominal Unification and Matching of Higher Order Expressions with Recursive Let. Fundam. Informaticae Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret, Yunus D. K. Kutz
2022	J	`jnl`	Reducing SAT to Max2XOR. CoRR Carlos Ansótegui, Jordi Levy
2022	J	`jnl`	Scale-Free Random SAT Instances. Algorithms Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy
2022	—	`conf`	Yet Another (Fake) Proof of P=NP. CCIA Carlos Ansótegui, Jordi Levy
2021	A	`conf`	A Heuristic Algorithm for Multi-Agent Vehicle Routing with Automated Negotiation. AAMAS Dave de Jonge, Filippo Bistaffa, Jordi Levy
2021	J	`jnl`	Nominal Unification and Matching of Higher Order Expressions with Recursive Let. CoRR Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret, Yunus D. K. Kutz
2021	J	`jnl`	Popularity-similarity random SAT formulas. Artif. Intell. Jesús Giráldez-Cru, Jordi Levy
2021	A*	`conf`	Reducing SAT to Max2SAT. IJCAI Carlos Ansótegui, Jordi Levy
2021	A*	`conf`	The Impact of Heterogeneity and Geometry on the Proof Complexity of Random Satisfiability. SODA Thomas Bläsius, Tobias Friedrich, Andreas Göbel, Jordi Levy, Ralf Rothenberger
2020	A	`conf`	Equivalence Between Systems Stronger Than Resolution. SAT Maria Luisa Bonet, Jordi Levy
2020	J	`jnl`	The Impact of Heterogeneity and Geometry on the Proof Complexity of Random Satisfiability. CoRR Thomas Bläsius, Tobias Friedrich, Andreas Göbel, Jordi Levy, Ralf Rothenberger
2019	J	`jnl`	Community Structure in Industrial SAT Instances. J. Artif. Intell. Res. Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy, Laurent Simon
2019	—	`conf`	Phase Transition in Realistic Random SAT Models. CCIA Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy
2018	B	`conf`	Term-Graph Anti-Unification. FSCD Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret
2017	J	`jnl`	Higher-Order Pattern Anti-Unification in Linear Time. J. Autom. Reason. Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret
2017	A*	`conf`	Locality in Random SAT Instances. IJCAI Jesús Giráldez-Cru, Jordi Levy
2017	J	`jnl`	Percolation and Phase Transition in SAT. CoRR Jordi Levy
2017	J	`jnl`	Structure features for SAT instances classification. J. Appl. Log. Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy
2016	J	`jnl`	Community Structure in Industrial SAT Instances. CoRR Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy
2016	J	`jnl`	Exploiting subproblem optimization in SAT-based MaxSAT algorithms. J. Heuristics Carlos Ansótegui, Joel Gabàs, Jordi Levy
2016	J	`jnl`	Generating SAT instances with community structure. Artif. Intell. Jesús Giráldez-Cru, Jordi Levy
2016	C	`conf`	Nominal Unification of Higher Order Expressions with Recursive Let. LOPSTR Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret
2016	J	`jnl`	Nominal Unification of Higher Order Expressions with Recursive Let. CoRR Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret
2015	A*	`conf`	A Modularity-Based Random SAT Instances Generator. IJCAI Jesús Giráldez-Cru, Jordi Levy
2015	—	`conf`	Nominal Anti-Unification. RTA Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret
2015	—	`conf`	On the Classification of Industrial SAT Families. CCIA Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy
2015	A	`conf`	Using Community Structure to Detect Relevant Learnt Clauses. SAT Carlos Ansótegui, Jesús Giráldez-Cru, Jordi Levy, Laurent Simon
2014	J	`jnl`	Anti-unification for Unranked Terms and Hedges. J. Autom. Reason. Temur Kutsia, Jordi Levy, Mateu Villaret
2014	—	`conf`	Nominal Anti-Unification. UNIF Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret
2014	—	`conf`	On the Limits of Second-Order Unification. UNIF Jordi Levy
2014	A	`conf`	The Fractal Dimension of SAT Formulas. IJCAR Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy
2013	—	`conf`	A Variant of Higher-Order Anti-Unification. RTA Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret
2013	A	`conf`	Improving WPM2 for (Weighted) Partial MaxSAT. CP Carlos Ansótegui, Maria Luisa Bonet, Joel Gabàs, Jordi Levy
2013	J	`jnl`	Resolution procedures for multiple-valued optimization. Inf. Sci. Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà
2013	J	`jnl`	SAT-based MaxSAT algorithms. Artif. Intell. Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy
2013	J	`jnl`	The Fractal Dimension of SAT Formulas. CoRR Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy
2012	—	`conf`	Analysis and Generation of Pseudo-Industrial MaxSAT Instances. CCIA Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Chu Min Li
2012	A	`conf`	Improving SAT-Based Weighted MaxSAT Solvers. CP Carlos Ansótegui, Maria Luisa Bonet, Joel Gabàs, Jordi Levy
2012	J	`jnl`	Nominal Unification from a Higher-Order Perspective. ACM Trans. Comput. Log. Jordi Levy, Mateu Villaret
2012	A	`conf`	The Community Structure of SAT Formulas. SAT Carlos Ansótegui, Jesús Giráldez-Cru, Jordi Levy
2011	—	`conf`	Anti-Unification for Unranked Terms and Hedges. RTA Temur Kutsia, Jordi Levy, Mateu Villaret
2011	—	`conf`	On the Modularity of Industrial SAT Instances. CCIA Carlos Ansótegui, Jordi Levy
2011	J	`jnl`	On the complexity of Bounded Second-Order Unification and Stratified Context Unification. Log. J. IGPL Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret
2010	A*	`conf`	A New Algorithm for Weighted Partial MaxSAT. AAAI Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy
2010	—	`conf`	An Efficient Nominal Unification Algorithm. RTA Jordi Levy, Mateu Villaret
2010	J	`jnl`	Nominal Unification from a Higher-Order Perspective CoRR Jordi Levy, Mateu Villaret
2010	—	`conf`	On Solving MaxSAT Through SAT. POS@SAT Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy
2010	J	`jnl`	On the relation between Context and Sequence Unification. J. Symb. Comput. Temur Kutsia, Jordi Levy, Mateu Villaret
2009	—	`conf`	On Solving MaxSAT Through SAT. CCIA Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy
2009	A	`conf`	On the Structure of Industrial SAT Instances. CP Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy
2009	J	`jnl`	Simplifying the signature in second-order unification. Appl. Algebra Eng. Commun. Comput. Jordi Levy, Mateu Villaret
2009	A	`conf`	Solving (Weighted) Partial MaxSAT through Satisfiability Testing. SAT Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy
2009	A*	`conf`	Towards Industrial-Like Random SAT Instances. IJCAI Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy
2008	A*	`conf`	Measuring the Hardness of SAT Instances. AAAI Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà
2008	—	`conf`	Nominal Unification from a Higher-Order Perspective. RTA Jordi Levy, Mateu Villaret
2008	—	`conf`	Random SAT Instances à la Carte. CCIA Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy
2008	J	`jnl`	The Complexity of Monadic Second-Order Unification. SIAM J. Comput. Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret
2007	—	`conf`	A Complete Resolution Calculus for Signed Max-SAT. ISMVL Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà
2007	A*	`conf`	Inference Rules for High-Order Consistency in Weighted CSP. AAAI Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà
2007	A	`conf`	Mapping CSP into Many-Valued SAT. SAT Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà
2007	J	`jnl`	Resolution for Max-SAT. Artif. Intell. Maria Luisa Bonet, Jordi Levy, Felip Manyà
2007	—	`conf`	Sequence Unification Through Currying. RTA Temur Kutsia, Jordi Levy, Mateu Villaret
2007	A*	`conf`	The Logic Behind Weighted CSP. IJCAI Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà
2007	—	`conf`	What Is a Real-World SAT Instance? CCIA Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà
2006	A	`conf`	A Complete Calculus for Max-SAT. SAT Maria Luisa Bonet, Jordi Levy, Felip Manyà
2006	—	`conf`	Bounded Second-Order Unification Is NP-Complete. RTA Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret
2006	A	`conf`	Stratified Context Unification Is NP-Complete. IJCAR Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret
2005	A	`conf`	Well-Nested Context Unification. CADE Jordi Levy, Joachim Niehren, Mateu Villaret
2004	—	`conf`	Monadic Second-Order Unification Is NP-Complete. RTA Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret
2003	J	`jnl`	On Chvatal Rank and Cutting Planes Proofs Electron. Colloquium Comput. Complex. Albert Atserias, Maria Luisa Bonet, Jordi Levy
2002	—	`conf`	Currying Second-Order Unification Problems. RTA Jordi Levy, Mateu Villaret
2001	—	`conf`	Context Unification and Traversal Equations. RTA Jordi Levy, Mateu Villaret
2000	—	`conf`	Linear Second-Order Unification and Context Unification with Tree-Regular Constraints. RTA Jordi Levy, Mateu Villaret
2000	J	`jnl`	On the Undecidability of Second-Order Unification. Inf. Comput. Jordi Levy, Margus Veanes
1998	—	`conf`	Decidable and Undecidable Second-Order Unification Problems. RTA Jordi Levy
1996	J	`jnl`	Bi-Rewrite Systems. J. Symb. Comput. Jordi Levy, Jaume Agustí-Cullell
1996	—	`conf`	Linear Second-Order Unification. RTA Jordi Levy
1995	—	`conf`	A Decidable Second-Order Unification Problem. UNIF Jordi Levy
1994	J	`jnl`	Expressing Program Requirements Using Refinement Lattices. Fundam. Informaticae David Stuart Robertson, Jaume Agustí-Cullell, Jane Hesketh, Jordi Levy
1993	—	`conf`	Bi-rewriting, a Term Rewriting Technique for Monotonic Order Relations. RTA Jordi Levy, Jaume Agustí-Cullell
1993	C	`conf`	Expressing Program Requirements Using Refinement Lattices. ISMIS David Stuart Robertson, Jaume Agustí-Cullell, Jane Hesketh, Jordi Levy
1992	—	`conf`	Implementing Inequality and Non-Deterministic Specifications with Bi-Rewriting Systems. COMPASS/ADT Jordi Levy, Jaume Agustí-Cullell