Resultats de la cerca - parallel function modulo functionals function https~

Alternatives de cerca:
functionals function » function function , functions functional , function dysfunction
modulo functionals » models functionals , model functional , models functional
parallel function » parallel functional , parallel auction , parallel union
function modulo » function moduli , function model , function models
function https » functions https , fiction https

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings /

Publicat 2006

Taula de continguts: “... Implicit Induction -- Matching Modulo Superdevelopments Application to Second-Order Matching...”
Obtenir text complet

Electrònic eBook

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /

Publicat 2014

Taula de continguts: “... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”
Obtenir text complet

Electrònic eBook

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Publicat 2015

Taula de continguts: “... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...”
Obtenir text complet

Electrònic eBook

Theory and Applications of Satisfiability Testing - SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings /

Publicat 2013

Taula de continguts: “... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...”
Obtenir text complet

Electrònic eBook

Computer Algebra in Scientific Computing 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012, Proceedings /

Publicat 2012

Taula de continguts: “... Intersection Multiplicities -- A Note on the Space Complexity of Fast D-Finite Function Evaluation -- Inversion...”
Obtenir text complet

Electrònic eBook

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings /

Publicat 2013

Taula de continguts: “... Functions -- Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo -- Long-Distance...”
Obtenir text complet

Electrònic eBook

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings /

Publicat 2005

Taula de continguts: “... Games with Causal Memory Are Decidable for Series-Parallel Systems -- Expand, Enlarge, and Check: New...”
Obtenir text complet

Electrònic eBook

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Publicat 2005

Taula de continguts: “... Theorem Proving for Software Analysis -- Decision Procedures for SAT, SAT Modulo Theories and Beyond...”
Obtenir text complet

Electrònic eBook

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /

Publicat 2015

Taula de continguts: “... Modulo Theories Framework -- Using Minimal Correction Sets to More Efficiently Compute Minimal...”
Obtenir text complet

Electrònic eBook

Principles and Practice of Constraint Programming - CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings /

Publicat 2010

Taula de continguts: “...Invited Talks -- SAT Modulo Theories: Getting the Best of SAT and Global Constraint Filtering...”
Obtenir text complet

Electrònic eBook

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /

Publicat 2008

Taula de continguts: “... in SMT -- SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems -- SMELS: Satisfiability Modulo...”
Obtenir text complet

Electrònic eBook

Refinar cerca