↓ Skip to main content
What is this page? Embed badge

Numerical Software Verification

Overview of attention for book
Cover of 'Numerical Software Verification'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Trust, Resilience and Interpretability of AI Models
  3. Altmetric Badge
    Chapter 2 Reinforcement Learning and Formal Requirements
  4. Altmetric Badge
    Chapter 3 An Evaluation of Monte-Carlo Tree Search for Property Falsification on Hybrid Flight Control Laws
  5. Altmetric Badge
    Chapter 4 Rigorous Continuous Evolution of Uncertain Systems
  6. Altmetric Badge
    Chapter 5 Stochastic Local Search for Solving Floating-Point Constraints
  7. Altmetric Badge
    Chapter 6 Evaluating Branching Heuristics in Interval Constraint Propagation for Satisfiability
  8. Altmetric Badge
    Chapter 7 Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems
  9. Altmetric Badge
    Chapter 8 Polytopic Trees for Verification of Learning-Based Controllers
  10. Altmetric Badge
    Chapter 9 Mutant Accuracy Testing for Assessing the Implementation of Numerical Algorithms
Attention for Chapter 6: Evaluating Branching Heuristics in Interval Constraint Propagation for Satisfiability
Altmetric Badge

Readers on

mendeley
3 Mendeley
Summary
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Evaluating Branching Heuristics in Interval Constraint Propagation for Satisfiability
Chapter number 6
Book title
Numerical Software Verification
Published by
Springer, Cham, July 2019
DOI 10.1007/978-3-030-28423-7_6
Book ISBNs
978-3-03-028422-0, 978-3-03-028423-7
Authors

Calvin Huang, Soonho Kong, Sicun Gao, Damien Zufferey, Huang, Calvin, Kong, Soonho, Gao, Sicun, Zufferey, Damien

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 3 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 3 100%

Demographic breakdown

Readers by professional status Count As %
Professor 1 33%
Unknown 2 67%
Readers by discipline Count As %
Mathematics 1 33%
Unknown 2 67%

This page is provided by Altmetric.