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