Jordi Levy

	2009
31		Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy: On the Structure of Industrial SAT Instances. CP 2009: 127-141
30		Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy: Towards Industrial-Like Random SAT Instances. IJCAI 2009: 387-392
29		Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy: Solving (Weighted) Partial MaxSAT through Satisfiability Testing. SAT 2009: 427-440
	2008
28		Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà: Measuring the Hardness of SAT Instances. AAAI 2008: 222-228
27		Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy: Random SAT Instances à la Carte. CCIA 2008: 109-117
26		Jordi Levy, Mateu Villaret: Nominal Unification from a Higher-Order Perspective. RTA 2008: 246-260
25		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		Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà: The Logic Behind Weighted CSP. IJCAI 2007: 32-37
21		Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà: A Complete Resolution Calculus for Signed Max-SAT. ISMVL 2007: 22
20		Temur Kutsia, Jordi Levy, Mateu Villaret: Sequence Unification Through Currying. RTA 2007: 288-302
19		Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà: Mapping CSP into Many-Valued SAT. SAT 2007: 10-15
18		Maria Luisa Bonet, Jordi Levy, Felip Manyà: Resolution for Max-SAT. Artif. Intell. 171(8-9): 606-618 (2007)
	2006
17		Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret: Stratified Context Unification Is NP-Complete. IJCAR 2006: 82-96
16		Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret: Bounded Second-Order Unification Is NP-Complete. RTA 2006: 400-414
15		Maria Luisa Bonet, Jordi Levy, Felip Manyà: A Complete Calculus for Max-SAT. SAT 2006: 240-251
	2005
14		Jordi Levy, Joachim Niehren, Mateu Villaret: Well-Nested Context Unification. CADE 2005: 149-163
	2004
13		Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret: Monadic Second-Order Unification Is NP-Complete. RTA 2004: 55-69
	2003
12		Albert Atserias, Maria Luisa Bonet, Jordi Levy: On Chvatal Rank and Cutting Planes Proofs Electronic Colloquium on Computational Complexity (ECCC)(041): (2003)
	2002
11		Jordi Levy, Mateu Villaret: Currying Second-Order Unification Problems. RTA 2002: 326-339
	2001
10		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		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] [29] [30] [31]
3	Albert Atserias	[12]
4	Maria Luisa Bonet	[12] [15] [18] [19] [21] [22] [23] [24] [27] [28] [29] [30] [31]
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 (David 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