Eyal Amir

From MaRDI portal
Person:543590

Available identifiers

zbMath Open amir.eyalMaRDI QIDQ543590

List of research outcomes





PublicationDate of PublicationType
First-order logical filtering2011-06-17Paper
A Survey of First-Order Probabilistic Models2010-05-21Paper
Approximation algorithms for treewidth2010-02-23Paper
Partition-based logical reasoning for first-order and propositional theories2007-10-23Paper
Logic-based subsumption architecture2006-02-07Paper
https://portal.mardi4nfdi.de/entity/Q47089212003-06-20Paper
https://portal.mardi4nfdi.de/entity/Q45467002003-02-06Paper
https://portal.mardi4nfdi.de/entity/Q45367292002-08-06Paper
Solving satisfiability using decomposition and the most constrained subproblem2001-09-24Paper
Theorem proving with structured theories. (Preliminary report)2001-09-24Paper
https://portal.mardi4nfdi.de/entity/Q48633271996-02-04Paper

Research outcomes over time

This page was built for person: Eyal Amir

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:543590&oldid=7547186"
Powered by MediaWiki