pith. sign in

arxiv: 1402.1361 · v1 · pith:B2BYZ6HWnew · submitted 2014-02-06 · 💻 cs.AI

Combining finite and continuous solvers

classification 💻 cs.AI
keywords continuouschococombiningfinitesolversadvancesadvantagebetter
0
0 comments X
read the original abstract

Combining efficiency with reliability within CP systems is one of the main concerns of CP developers. This paper presents a simple and efficient way to connect Choco and Ibex, two CP solvers respectively specialised on finite and continuous domains. This enables to take advantage of the most recent advances of the continuous community within Choco while saving development and maintenance resources, hence ensuring a better software quality.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.