dblp.uni-trier.dewww.uni-trier.de

Jordi Levy Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
31EECarlos Ansótegui, Maria Luisa Bonet, Jordi Levy: On the Structure of Industrial SAT Instances. CP 2009: 127-141
30EECarlos Ansótegui, Maria Luisa Bonet, Jordi Levy: Towards Industrial-Like Random SAT Instances. IJCAI 2009: 387-392
29EECarlos 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
27EECarlos Ansótegui, Maria Luisa Bonet, Jordi Levy: Random SAT Instances à la Carte. CCIA 2008: 109-117
26EEJordi Levy, Mateu Villaret: Nominal Unification from a Higher-Order Perspective. RTA 2008: 246-260
25EEJordi 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
22EECarlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà: The Logic Behind Weighted CSP. IJCAI 2007: 32-37
21EECarlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà: A Complete Resolution Calculus for Signed Max-SAT. ISMVL 2007: 22
20EETemur Kutsia, Jordi Levy, Mateu Villaret: Sequence Unification Through Currying. RTA 2007: 288-302
19EECarlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà: Mapping CSP into Many-Valued SAT. SAT 2007: 10-15
18EEMaria Luisa Bonet, Jordi Levy, Felip Manyà: Resolution for Max-SAT. Artif. Intell. 171(8-9): 606-618 (2007)
2006
17EEJordi Levy, Manfred Schmidt-Schauß, Mateu Villaret: Stratified Context Unification Is NP-Complete. IJCAR 2006: 82-96
16EEJordi Levy, Manfred Schmidt-Schauß, Mateu Villaret: Bounded Second-Order Unification Is NP-Complete. RTA 2006: 400-414
15EEMaria Luisa Bonet, Jordi Levy, Felip Manyà: A Complete Calculus for Max-SAT. SAT 2006: 240-251
2005
14EEJordi Levy, Joachim Niehren, Mateu Villaret: Well-Nested Context Unification. CADE 2005: 149-163
2004
13EEJordi Levy, Manfred Schmidt-Schauß, Mateu Villaret: Monadic Second-Order Unification Is NP-Complete. RTA 2004: 55-69
2003
12EEAlbert Atserias, Maria Luisa Bonet, Jordi Levy: On Chvatal Rank and Cutting Planes Proofs Electronic Colloquium on Computational Complexity (ECCC)(041): (2003)
2002
11EEJordi Levy, Mateu Villaret: Currying Second-Order Unification Problems. RTA 2002: 326-339
2001
10EEJordi Levy, Mateu Villaret: Context Unification and Traversal Equations. RTA 2001: 169-184
2000
9EEJordi 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
7EEJordi Levy: Decidable and Undecidable Second-Order Unification Problems. RTA 1998: 47-60
1996
6EEJordi 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
3EEDavid Stuart Robertson, Jaume Agustí-Cullell, Jane Hesketh, Jordi Levy: Expressing Program Requirements Using Refinement Lattices. ISMIS 1993: 245-254
2EEJordi 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)