Jordi Levy

Available identifiers

zbMath Open levy.jordiWikidataQ62057758 ScholiaQ62057758MaRDI QIDQ309918

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6147250	2024-01-15	Paper
The impact of heterogeneity and geometry on the proof complexity of random satisfiability	2023-11-07	Paper
Bi-rewriting, a term rewriting technique for monotonic order relations	2022-12-09	Paper
Linear second-order unification	2022-12-09	Paper
Nominal Unification and Matching of Higher Order Expressions with Recursive Let	2022-05-16	Paper
Popularity-similarity random SAT formulas	2021-11-02	Paper
Term-Graph Anti-Unification	2021-06-15	Paper
Equivalence between systems stronger than resolution	2021-04-07	Paper
Community Structure in Industrial SAT Instances	2019-10-11	Paper
Nominal unification of higher order expressions with recursive let	2017-10-13	Paper
Nominal Anti-Unification	2017-07-12	Paper
Scale-Free Random SAT Instances	2017-07-12	Paper
Higher-order pattern anti-unification in linear time	2017-07-06	Paper
Exploiting subproblem optimization in SAT-based maxsat algorithms	2017-04-28	Paper
A Variant of Higher-Order Anti-Unification	2017-02-01	Paper
Generating SAT instances with community structure	2016-09-07	Paper
Using Community Structure to Detect Relevant Learnt Clauses	2015-11-20	Paper
Nominal Unification from a Higher-Order Perspective	2015-09-17	Paper
Anti-unification for unranked terms and hedges	2015-07-02	Paper
The Fractal Dimension of SAT Formulas	2014-09-26	Paper
Resolution procedures for multiple-valued optimization	2014-08-01	Paper
SAT-based MaxSAT algorithms	2013-08-23	Paper
The Community Structure of SAT Formulas	2013-08-12	Paper
On the complexity of Bounded Second-Order Unification and Stratified Context Unification	2012-06-08	Paper
An Efficient Nominal Unification Algorithm	2012-04-25	Paper
Anti-Unification for Unranked Terms and Hedges	2012-04-24	Paper
Simplifying the signature in second-order unification	2010-01-18	Paper
On the relation between context and sequence unification	2009-11-06	Paper
Resolution for Max-SAT	2009-07-09	Paper
Solving (Weighted) Partial MaxSAT through Satisfiability Testing	2009-07-07	Paper
The Complexity of Monadic Second-Order Unification	2009-06-22	Paper
Rewriting Techniques and Applications	2009-04-30	Paper
Stratified Context Unification Is NP-Complete	2009-03-12	Paper
Mapping CSP into Many-Valued SAT	2009-03-10	Paper
Bounded Second-Order Unification Is NP-Complete	2008-09-25	Paper
Nominal Unification from a Higher-Order Perspective	2008-08-28	Paper
Sequence Unification Through Currying	2008-01-02	Paper
A Complete Calculus for Max-SAT	2007-09-04	Paper
Automated Deduction – CADE-20	2006-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q4808756	2004-08-12	Paper
On the undecidability of second-order unification	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q2778877	2002-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q2723898	2001-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q4942094	2000-03-30	Paper
https://portal.mardi4nfdi.de/entity/Q3838759	1998-08-13	Paper
Bi-rewrite systems	1997-06-23	Paper
https://portal.mardi4nfdi.de/entity/Q4314595	1994-11-23	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jordi Levy