Solving Constraints over the Reals - A Multi-Solver Approach - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Philippe Marti, Michel Rueher. Solving Constraints over the Reals - A Multi-Solver Approach. In ICTAI. pages 304-310, 1994.

@inproceedings{MartiR94,
  title = {Solving Constraints over the Reals - A Multi-Solver Approach},
  author = {Philippe Marti and Michel Rueher},
  year = {1994},
  tags = {constraints, systematic-approach},
  researchr = {https://researchr.org/publication/MartiR94},
  cites = {0},
  citedby = {0},
  pages = {304-310},
  booktitle = {ICTAI},
}

runs on WebDSL