3 search results - page 1 / 1 » Wildcards in Math Search, Implementation Issues |
66
Voted
CAINE
2007
15 years 10 days ago
2007
Math search is a new area of research with many enabling technologies but also many challenges. Some of the enabling technologies include XML, XPath, XQuery, and MathML. Some of t...
79
Voted
SEDE
2007
15 years 9 days ago
2007
Math search is a new area of research with many enabling technologies but also many challenges. Some of the enabling technologies include XML, XPath, XQuery, and MathML. Some of t...
122
Voted
FROCOS
2011
Springer
13 years 10 months ago
2011
Springer
A dominant approach to Satisfiability Modulo Theories (SMT) relies on the integration of a Conflict-Driven-Clause-Learning (CDCL) SAT solver and of a decision procedure able to h...