Jordi Levy (32 publications)
2010
"A New Algorithm for Weighted Partial MaxSAT",
Proceedings of the 24th AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, 2010.
Abstract
"An Efficient Nominal Unification Algorithm",
Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010, Edinburgh, Scottland, UK, pp. 209-226, 2010.
Abstract
"On the Relation Between Context and Sequence Unification",
Journal of Symbolic Computation, vol. 45, issue 1, pp. 74-95, 2010.
Abstract
2009
"Towards Industrial-Like Random SAT Instances",
Proc. of the 21st Int. Joint Conf. on Artificial Intelligence, IJCAI'09, Pasadena, California, AAAI Press, pp. 387-392, 14/07/2009.
Abstract
"On the Complexity of Bounded Second-order Unification and Stratified Context Unification",
Journal of Algorithms in Cognition, Informatics, and Logic, 2009.
Abstract
"On the Structure of Industrial SAT Instances",
Proc. of the 15th Int. Conf. on Principles and Practice of Constraint Programming, CP'09. Lecture Notes in Computer Science, vol. 5732, Lisbon, Portugal, Springer, pp. 127-141, 2009.
Abstract
"Simplifying the Signature in Second-Order Unification",
Applicable Algebra in Engineering, Communication and Computing, vol. 20, issue 5: Springer, pp. 427-445, 2009.
Abstract
"Solving (Weighted) Partial MaxSAT Through Satisfiability Testing",
Proc. of the 20th Int. Conf. on Theory and Applications of Satisfiability Testing, SAT'09. Lecture Notes in Computer Science, vol. 5584: Springer-Verlag, pp. 427-440, 2009.
Abstract
2008
"Measuring the Hardness of SAT Instances",
Proc. of the 23th AAAI Conference on Artificial Intelligence, AAAI-08, Chicago, USA, AAAI Press, pp. 222-228, 2008.
Abstract
"Nominal Unification from a Higher-Order Perspective",
Proc. of the 19th International Conference on Rewriting Techniques and Applications, RTA'08. Lecture Notes in Computer Science, vol. 5117, Hagenberg, Austria, Springer, pp. 246-260, 2008.
Abstract
"The Complexity of Monadic Second-Order Unification",
SIAM Journal on Computing, vol. 38, no. 3, pp. 1113-1140, 2008.
Abstract
2007
"A Complete Resolution Calculus for Signed Max-SAT",
Proc. of the 37th International Symposium on Multiple-Valued Logic, ISMVL'07, pp. 22, 2007.
Abstract
"Inference Rules for High-Order Consistency in Weighted CSP",
Proc. of the 22th AAAI Conference on Artificial Intelligence, AAAI-07, Vancouver, Canada, AAAI Press, pp. 167-172, 2007.
Abstract
"Mapping CSP into Many-Valued SAT",
Lecture Notes in Computer Science, vol. 4501: Springer, pp. 10-15, 2007.
Abstract
"Resolution for Max-SAT",
Artificial Intelligence, vol. 171, no. 8-9, pp. 606-618, 2007.
Abstract
"Sequence Unification Through Currying",
Proc. of the 18th International Conference on Rewriting Techniques and Applications, RTA'07. Lecture Notes in Computer Science, vol. 4533: Springer, pp. 288-302, 2007.
Abstract
"The Logic Behind Weighted CSP",
Future and Trends in Constraint Programming: ISTE, pp. 307-320, 2007.
"The Logic behind Weighted CSP",
Proc. of the 20th International Joint Conference on Artificial Intelligence, IJCAI'07: AAAI Press, pp. 32-37, 2007.
Abstract
2006
"A Complete Calculus for Max-SAT",
Lecture Notes in Computer Science, vol. 4121: Springer-Verlag, pp. 240-251, 2006.
Abstract
"Bounded Second-Order Unification Is NP-Complete",
Lecture Notes in Computer Science, vol. 4098: Springer-Verlag, pp. 400-414, 2006.
Abstract
"Stratified Context Unification is NP-complete",
Lecture Notes in Computer Science, vol. 4130: Springer-Verlag, pp. 82-96, 2006.
Abstract
2005
"Well-Nested Context Unification",
Lecture Notes in Artificial Intelligence, vol. 3632: Springer-Verlag, pp. 149-163, 2005.
Abstract
2004
"Monadic Second-Order Unifications is NP Complete",
Lecture Notes in Computer Science, vol. 3091: Springer-Verlag, pp. 55-69, 2004.
Abstract
2003
"On Chvátal Rank and Cutting Planes Proofs",
Electronic Colloquium on Computational Complexity, vol. 41, no. Report TR0, pp. 12, 2003.
Abstract
2002
"Currying Second-Order Unification Problems",
Lecture Notes in Computer Science, vol. 2378: Springer-Verlag, pp. 326-339, 2002.
Abstract