Jordi Levy

2008
28		Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà: Measuring the Hardness of SAT Instances. AAAI 2008: 222-228
27	EE	Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy: Random SAT Instances à la Carte. CCIA 2008: 109-117
26	EE	Jordi Levy, Mateu Villaret: Nominal Unification from a Higher-Order Perspective. RTA 2008: 246-260
25	EE	Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret: The Complexity of Monadic Second-Order Unification. SIAM J. Comput. 38(3): 1113-1140 (2008)
2007
24		Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà: Inference Rules for High-Order Consistency in Weighted CSP. AAAI 2007: 167-172
23		Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà: What Is a Real-World SAT Instance? CCIA 2007: 19-28
22	EE	Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà: The Logic Behind Weighted CSP. IJCAI 2007: 32-37
21	EE	Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà: A Complete Resolution Calculus for Signed Max-SAT. ISMVL 2007: 22
20	EE	Temur Kutsia, Jordi Levy, Mateu Villaret: Sequence Unification Through Currying. RTA 2007: 288-302
19	EE	Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà: Mapping CSP into Many-Valued SAT. SAT 2007: 10-15
18	EE	Maria Luisa Bonet, Jordi Levy, Felip Manyà: Resolution for Max-SAT. Artif. Intell. 171(8-9): 606-618 (2007)
2006
17	EE	Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret: Stratified Context Unification Is NP-Complete. IJCAR 2006: 82-96
16	EE	Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret: Bounded Second-Order Unification Is NP-Complete. RTA 2006: 400-414
15	EE	Maria Luisa Bonet, Jordi Levy, Felip Manyà: A Complete Calculus for Max-SAT. SAT 2006: 240-251
2005
14	EE	Jordi Levy, Joachim Niehren, Mateu Villaret: Well-Nested Context Unification. CADE 2005: 149-163
2004
13	EE	Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret: Monadic Second-Order Unification Is NP-Complete. RTA 2004: 55-69
2003
12	EE	Albert Atserias, Maria Luisa Bonet, Jordi Levy: On Chvatal Rank and Cutting Planes Proofs Electronic Colloquium on Computational Complexity (ECCC)(041): (2003)
2002
11	EE	Jordi Levy, Mateu Villaret: Currying Second-Order Unification Problems. RTA 2002: 326-339
2001
10	EE	Jordi Levy, Mateu Villaret: Context Unification and Traversal Equations. RTA 2001: 169-184
2000
9		Jordi Levy, Mateu Villaret: Linear Second-Order Unification and Context Unification with Tree-Regular Constraints. RTA 2000: 156-171
8		Jordi Levy, Margus Veanes: On the Undecidability of Second-Order Unification. Inf. Comput. 159(1-2): 125-150 (2000)
1998
7	EE	Jordi Levy: Decidable and Undecidable Second-Order Unification Problems. RTA 1998: 47-60
1996
6		Jordi Levy: Linear Second-Order Unification. RTA 1996: 332-346
5		Jordi Levy, Jaume Agustí-Cullell: Bi-Rewrite Systems. J. Symb. Comput. 22(3): 279-314 (1996)
1994
4		David Stuart Robertson, Jaume Agustí-Cullell, Jane Hesketh, Jordi Levy: Expressing Program Requirements Using Refinement Lattices. Fundam. Inform. 21(3): 163-182 (1994)
1993
3		David Stuart Robertson, Jaume Agustí-Cullell, Jane Hesketh, Jordi Levy: Expressing Program Requirements Using Refinement Lattices. ISMIS 1993: 245-254
2		Jordi Levy, Jaume Agustí-Cullell: Bi-rewriting, a Term Rewriting Technique for Monotonic Order Relations. RTA 1993: 17-31
1992
1		Jordi Levy, Jaume Agustí-Cullell: Implementing Inequality and Non-Deterministic Specifications with Bi-Rewriting Systems. COMPASS/ADT 1992: 252-267

Coauthor Index

1	Jaume Agustí-Cullell	[1] [2] [3] [4] [5]
2	Carlos Ansótegui	[19] [21] [22] [23] [24] [27] [28]
3	Albert Atserias	[12]
4	Maria Luisa Bonet	[12] [15] [18] [19] [21] [22] [23] [24] [27] [28]
5	Jane Hesketh	[3] [4]
6	Temur Kutsia	[20]
7	Felip Manyà	[15] [18] [19] [21] [22] [23] [24] [28]
8	Joachim Niehren	[14]
9	David Stuart Robertson	[3] [4]
10	Manfred Schmidt-Schauß	[13] [16] [17] [25]
11	Margus Veanes	[8]
12	Mateu Villaret	[9] [10] [11] [13] [14] [16] [17] [20] [25] [26]

Colors in the list of coauthors