Hakutulokset - parallel problems modulo functionality function https

Tarkoititko:
functionality function » functionals function , functionaries function , functional functions
modulo functionality » morpho functionality , multi functionality , double functionality
parallel problems » parallel problem , parallel programs , parallel process
problems modulo » problems module , problems models , problems 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 /

Julkaistu 2013

Sisällysluettelo: “...Invited Talks -- The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi...”
Hae kokoteksti

Elektroninen E-kirja

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...

Julkaistu 2015

Sisällysluettelo: “... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2014

Sisällysluettelo: “... and Parallel Groebner Bases in JAS -- Application of Groebner Basis Methodology to Nonlinear Mechanics Problems...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2012

Sisällysluettelo: “... Problem -- A New Algorithm for Long Integer Cube Computation with Some Insight into Higher Powers...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2005

Sisällysluettelo: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2010

Sisällysluettelo: “...Invited Talks -- SAT Modulo Theories: Getting the Best of SAT and Global Constraint Filtering...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2013

Sisällysluettelo: “... Functions -- Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo -- Long-Distance...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2005

Sisällysluettelo: “... Theorem Proving for Software Analysis -- Decision Procedures for SAT, SAT Modulo Theories and Beyond...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2008

Sisällysluettelo: “... in SMT -- SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems -- SMELS: Satisfiability Modulo...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua