Re: [gecode-users] large Instance

2013-09-02 Thread Christian Schulte
Best Christian -- Christian Schulte, Professor of Computer Science, KTH, www.ict.kth.se/~cschulte/ From: Amin Alah Mousavi Nogholi [mailto:a.mousavinogh...@qut.edu.au] Sent: Monday, September 02, 2013 11:11 AM To: cschu...@kth.se Subject: RE: [gecode-users] large Instance Thanks Chri

Re: [gecode-users] large Instance

2013-09-02 Thread Christian Schulte
-- Christian Schulte, Professor of Computer Science, KTH, www.ict.kth.se/~cschulte/ From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf Of Amin Alah Mousavi Nogholi Sent: Monday, September 02, 2013 2:31 AM To: users@gecode.org Subject: [gecode-users] large Instance Hi

Re: [gecode-users] large Instance

2013-09-02 Thread Max Ostrowski
Like for NP problems this depends on the problem itself. But given you have so many variables and call them "decision variables" i would guess that most of them are boolean? If this is the case you could try an encoding in SAT or ASP (Answer Set Programming) where solvers are capable of handling su

[gecode-users] large Instance

2013-09-01 Thread Amin Alah Mousavi Nogholi
Hi, I need to solve a problem with millions of decision variables and constraints. I could not solve this problem by CPlex Cp optimiser. I am just wondering that Gecode can solve or not? Does anybody has such an instance? The second question is that I have a 4-dimensional decision variable. Can