Resultados de búsqueda - parallel problem modulo functionals function https

Buscar alternativas:
functionals function » function function , functions functional , function dysfunction
modulo functionals » models functionals , model functional , models functional
parallel problem » parallel program , parallel programs , parallel robots
problem modulo » problems modulo , problems module , problem model
function https » functions https , fiction https

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

Publicado 2013

Tabla de Contenidos: “...Invited Talks -- The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi...”
Enlace del recurso

Electrónico 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...

Publicado 2015

Tabla de Contenidos: “... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...”
Enlace del recurso

Electrónico eBook

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

Publicado 2014

Tabla de Contenidos: “... and Parallel Groebner Bases in JAS -- Application of Groebner Basis Methodology to Nonlinear Mechanics Problems...”
Enlace del recurso

Electrónico eBook

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

Publicado 2012

Tabla de Contenidos: “... Problem -- A New Algorithm for Long Integer Cube Computation with Some Insight into Higher Powers...”
Enlace del recurso

Electrónico eBook

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

Publicado 2005

Tabla de Contenidos: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Enlace del recurso

Electrónico eBook

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

Publicado 2010

Tabla de Contenidos: “...Invited Talks -- SAT Modulo Theories: Getting the Best of SAT and Global Constraint Filtering...”
Enlace del recurso

Electrónico eBook

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

Publicado 2005

Tabla de Contenidos: “... Theorem Proving for Software Analysis -- Decision Procedures for SAT, SAT Modulo Theories and Beyond...”
Enlace del recurso

Electrónico eBook

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

Publicado 2013

Tabla de Contenidos: “... Functions -- Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo -- Long-Distance...”
Enlace del recurso

Electrónico eBook

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

Publicado 2008

Tabla de Contenidos: “... in SMT -- SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems -- SMELS: Satisfiability Modulo...”
Enlace del recurso

Electrónico eBook

Resultados Agrupados