Jordi Levy

	2012
41		Jordi Levy, Mateu Villaret: Nominal Unification from a Higher-Order Perspective. ACM Trans. Comput. Log. 13(2): 10 (2012)
	2011
40		Carlos Ansótegui, Jordi Levy: On the Modularity of Industrial SAT Instances. CCIA 2011: 11-20
39		Temur Kutsia, Jordi Levy, Mateu Villaret: Anti-Unification for Unranked Terms and Hedges. RTA 2011: 219-234
38		Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret: On the complexity of Bounded Second-Order Unification and Stratified Context Unification. Logic Journal of the IGPL 19(6): 763-789 (2011)
	2010
37		Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy: A New Algorithm for Weighted Partial MaxSAT. AAAI 2010
36		Jordi Levy, Mateu Villaret: An Efficient Nominal Unification Algorithm. RTA 2010: 209-226
35		Jordi Levy, Mateu Villaret: Nominal Unification from a Higher-Order Perspective CoRR abs/1005.3731: (2010)
34		Temur Kutsia, Jordi Levy, Mateu Villaret: On the relation between Context and Sequence Unification. J. Symb. Comput. 45(1): 74-95 (2010)
	2009
33		Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy: On Solving MaxSAT Through SAT. CCIA 2009: 284-292
32		Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy: On the Structure of Industrial SAT Instances. CP 2009: 127-141
31		Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy: Towards Industrial-Like Random SAT Instances. IJCAI 2009: 387-392
30		Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy: Solving (Weighted) Partial MaxSAT through Satisfiability Testing. SAT 2009: 427-440
29		Jordi Levy, Mateu Villaret: Simplifying the signature in second-order unification. Appl. Algebra Eng. Commun. Comput. 20(5-6): 427-445 (2009)
	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] [30] [31] [32] [33] [37] [40]
3	Albert Atserias	[12]
4	Maria Luisa Bonet	[12] [15] [18] [19] [21] [22] [23] [24] [27] [28] [30] [31] [32] [33] [37]
5	Jane Hesketh	[3] [4]
6	Temur Kutsia	[20] [34] [39]
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] [38]
11	Margus Veanes	[8]
12	Mateu Villaret	[9] [10] [11] [13] [14] [16] [17] [20] [25] [26] [29] [34] [35] [36] [38] [39] [41]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page