Perguntas com a tag [constraint-programming]

votos
123
respostas
14
visitas
22k
Resolver "Quem é dono da Zebra" programática?
Publicado 25/11/2008 em 20:14
usuário activout.se
votos
38
respostas
9
visitas
13k
Começando com Programação por Restrições
Publicado 26/11/2008 em 16:42
usuário Larsenal
Publicado 09/08/2009 em 09:09
usuário ascobol
Publicado 01/09/2009 em 19:45
usuário fjsj
Publicado 20/11/2009 em 09:35
usuário BuschnicK
votos
42
respostas
13
visitas
9k
Incorporado Prolog Interpreter / Compiler para Java
Publicado 29/11/2009 em 21:30
usuário Sami
Publicado 05/01/2010 em 00:39
usuário Opt
votos
4
respostas
2
visitas
515
Qual é a relação entre o CLP e SQL?
Publicado 03/03/2010 em 12:33
usuário bobobobo
votos
1
respostas
2
visitas
2k
Microsoft Solver Foundation restrição
Publicado 09/05/2010 em 21:06
usuário em70
Publicado 12/05/2010 em 18:24
usuário tangens
votos
6
respostas
1
visitas
2k
Duplicar símbolo Linker Erro (C ++ ajuda)
Publicado 01/06/2010 em 23:26
usuário Vash265
Publicado 05/06/2010 em 01:14
usuário Smooth Operator
Publicado 08/09/2010 em 08:19
usuário Luke404
Publicado 08/09/2010 em 18:06
usuário Paul Reiners
Publicado 13/10/2010 em 17:13
usuário Magnus
votos
5
respostas
2
visitas
1k
Restrição-programação em PHP
Publicado 22/11/2010 em 17:11
usuário Eric Pruitt
Publicado 26/12/2010 em 18:36
usuário malejpavouk
Publicado 06/01/2011 em 12:52
usuário Yauhen Yakimovich
Publicado 13/02/2011 em 15:31
usuário benwad
Publicado 14/02/2011 em 14:31
usuário Willem Van Onsem
Publicado 20/02/2011 em 10:20
usuário Angus
Publicado 02/03/2011 em 08:21
usuário jackofblades
Publicado 02/03/2011 em 16:47
usuário mhourdakis
Publicado 22/03/2011 em 02:02
usuário Chiron
Publicado 17/04/2011 em 13:20
usuário Kirill
Publicado 01/05/2011 em 19:39
usuário whatf
Publicado 15/05/2011 em 09:26
usuário Kap
Publicado 16/05/2011 em 09:41
usuário Kap
Publicado 23/05/2011 em 08:22
usuário Praneeth.P
Publicado 02/06/2011 em 11:04
usuário albertoblaz
votos
1
respostas
1
visitas
586
CHOCO Constraint Solver apresenta
Publicado 09/07/2011 em 14:03
usuário kxk
votos
0
respostas
3
visitas
449
sintonização automática de parâmetros
Publicado 05/08/2011 em 16:01
usuário akevan
votos
2
respostas
2
visitas
450
Prolog: iteração
Publicado 22/08/2011 em 16:38
usuário Martino
votos
3
respostas
1
visitas
3k
Converter Lógica de Primeira Ordem para CNF
Publicado 31/08/2011 em 19:26
usuário Richard
Publicado 13/09/2011 em 21:34
usuário jda
Publicado 18/09/2011 em 19:40
usuário Edd Barrett
votos
3
respostas
1
visitas
794
não pode se minimizar partir CLPFD para trabalhar
Publicado 23/09/2011 em 07:03
usuário bjrnt
Publicado 28/09/2011 em 16:14
usuário Tim Seguine
votos
6
respostas
4
visitas
2k
Duas restrições matriz dimensional: Sudoku
Publicado 09/10/2011 em 21:13
usuário Ben Siver
votos
1
respostas
1
visitas
805
Resolver quebra-cabeça com restrição no prólogo
Publicado 01/12/2011 em 12:08
usuário user697110
Publicado 10/12/2011 em 16:44
usuário Francisco P.
votos
1
respostas
1
visitas
666
Gráfico completa k-coloração Solver
Publicado 30/12/2011 em 00:40
usuário Jeff
votos
2
respostas
1
visitas
348
CSP dinâmica com Cplex
Publicado 06/01/2012 em 18:18
usuário Leandro
Publicado 11/02/2012 em 10:21
usuário kallakafar
Publicado 13/02/2012 em 10:04
usuário kallakafar
Publicado 13/02/2012 em 12:24
usuário kallakafar
Publicado 13/02/2012 em 20:01
usuário user1207841
votos
6
respostas
2
visitas
668
Reduzir uma expressão booleana
Publicado 28/02/2012 em 05:13
usuário Adeel Ansari
votos
0
respostas
1
visitas
237
Soma variável
Publicado 10/03/2012 em 19:46
usuário NickHalden
votos
1
respostas
2
visitas
6k
Programação com restrições em java
Publicado 24/03/2012 em 07:46
usuário AndreaF
votos
1
respostas
4
visitas
305
rede restrição em Objective-C
Publicado 30/04/2012 em 09:17
usuário alecail




Publicado 03/05/2012 em 02:04
usuário NickHalden
Publicado 14/05/2012 em 13:09
usuário user1393905
votos
2
respostas
1
visitas
315
Parâmetro que depende de uma decisão em MSF
Publicado 14/06/2012 em 18:40
usuário aronmek
Publicado 20/06/2012 em 14:23
usuário fresskoma
Publicado 21/06/2012 em 16:22
usuário DarthShader
votos
1
respostas
1
visitas
171
restrições Prolog
Publicado 06/08/2012 em 22:36
usuário rex
Publicado 28/08/2012 em 07:19
usuário letmaik
votos
1
respostas
1
visitas
1k
satisfação de restrições em java
Publicado 16/09/2012 em 11:44
usuário user1675600
votos
1
respostas
2
visitas
589
MiniZinc, Gecode remover separadores de soluções
Publicado 08/10/2012 em 10:08
usuário finlir
votos
1
respostas
3
visitas
139
ferramenta não-determinístico programação CSP?
Publicado 09/12/2012 em 22:47
usuário tonylattke
votos
-2
respostas
1
visitas
489
JAVA- Jacop programação com restrições
Publicado 11/02/2013 em 13:01
usuário carlosCeron
votos
3
respostas
1
visitas
275
rede de malha de programação restrição
Publicado 15/02/2013 em 20:17
usuário Raj
votos
1
respostas
0
visitas
104
Declarativa Data Mining: Frequent itemset Tiling
Publicado 19/02/2013 em 15:12
usuário Aäron Verachtert
Publicado 21/02/2013 em 06:17
usuário radhika
Publicado 27/02/2013 em 09:15
usuário fdj815
Publicado 27/02/2013 em 14:38
usuário Ivo Kurtanovic
Publicado 08/03/2013 em 07:50
usuário Jordan England
votos
0
respostas
1
visitas
68
Repetindo os modelos combinados em Z3py
Publicado 10/03/2013 em 12:51
usuário Jordan England
votos
0
respostas
1
visitas
203
Conseguir o IBM ILOG Scheduler
Publicado 19/03/2013 em 17:29
usuário llew
votos
0
respostas
1
visitas
1k
instalação z3py
Publicado 26/03/2013 em 10:32
usuário Jordan England
Publicado 27/03/2013 em 14:12
usuário Jordan England
votos
0
respostas
1
visitas
396
recuperar o modelo combinado em Z3py?
Publicado 27/03/2013 em 15:18
usuário Jordan England
votos
16
respostas
5
visitas
1k
Programação para tableaux Jovem
Publicado 29/03/2013 em 12:13
usuário user2179983
Publicado 30/03/2013 em 15:09
usuário user2227554
votos
0
respostas
1
visitas
76
ValueError: Precisa de mais de 2123 valores
Publicado 31/03/2013 em 16:40
usuário Jordan England
votos
2
respostas
1
visitas
2k
Algoritmo - Criação de um cronograma de exame
Publicado 06/04/2013 em 19:17
usuário John Smith
votos
5
respostas
1
visitas
2k
Resolver um sistema de equações em Prolog
Publicado 12/04/2013 em 16:01
usuário Valtteri
Publicado 14/04/2013 em 12:40
usuário hsalimi
Publicado 18/04/2013 em 17:17
usuário Ramin
Publicado 28/04/2013 em 18:42
usuário guest
Publicado 01/05/2013 em 15:07
usuário JamHam
Publicado 06/05/2013 em 07:41
usuário Martin Vseticka
Publicado 06/05/2013 em 12:27
usuário Martin Vseticka
Publicado 07/05/2013 em 22:12
usuário cgr
Publicado 22/05/2013 em 20:40
usuário gsamaras
Publicado 25/05/2013 em 10:38
usuário Fibo Kowalsky
Publicado 31/05/2013 em 18:19
usuário Med
Publicado 11/06/2013 em 09:20
usuário Mo Hrad A
votos
5
respostas
3
visitas
4k
solver de programação simples restrição
Publicado 26/06/2013 em 12:30
usuário Roman
votos
0
respostas
2
visitas
261
Usando funções trigonométricas no clp eclipse
Publicado 30/06/2013 em 09:38
usuário Poka Yoke
votos
1
respostas
1
visitas
76
selecção de um intervalo óptimo
Publicado 25/07/2013 em 17:28
usuário Sixtease
Publicado 27/07/2013 em 21:15
usuário Michelrandahl
Publicado 13/08/2013 em 06:27
usuário Loi.Luu
Publicado 20/08/2013 em 18:12
usuário levand
Publicado 21/08/2013 em 05:39
usuário mchlfchr
votos
1
respostas
1
visitas
503
k inteiros consecutivos restrição
Publicado 31/08/2013 em 16:30
usuário Enrique
Publicado 02/09/2013 em 22:13
usuário user2731614
Publicado 08/09/2013 em 09:24
usuário A.Fernandez
Publicado 15/09/2013 em 17:39
usuário Torgny
Publicado 15/09/2013 em 19:08
usuário Pavel Zaichenkov




Publicado 27/09/2013 em 03:46
usuário tungd
Publicado 11/10/2013 em 06:34
usuário Robin
Publicado 23/10/2013 em 12:38
usuário user2911578
votos
4
respostas
2
visitas
321
Definir funções injetivas em Z3
Publicado 25/10/2013 em 20:23
usuário Pavel Zaichenkov
Publicado 28/10/2013 em 03:10
usuário Tomato
Publicado 28/10/2013 em 15:51
usuário vmg
Publicado 05/11/2013 em 17:40
usuário HarshJain
votos
1
respostas
0
visitas
208
otimização restrita dada no google jam código
Publicado 14/11/2013 em 02:21
usuário denfromufa
votos
0
respostas
1
visitas
211
Suporta Z3py Linear Temporal LTL lógica?
Publicado 15/11/2013 em 14:18
usuário Jordan England
votos
-3
respostas
1
visitas
1k
Programação por Restrições com Python
Publicado 22/11/2013 em 23:58
usuário babaloo
votos
2
respostas
2
visitas
752
Prolog KENKEN solucionador de quatro por quatro
Publicado 24/11/2013 em 20:20
usuário russiandobby
Publicado 08/12/2013 em 21:26
usuário user2666350
votos
0
respostas
0
visitas
78
restrições SQL usando JPA
Publicado 12/12/2013 em 15:33
usuário j.l.
Publicado 17/12/2013 em 08:28
usuário Marcus
Publicado 23/12/2013 em 14:06
usuário Marcus
Publicado 23/12/2013 em 20:26
usuário Wouter Lievens
votos
4
respostas
2
visitas
862
Definir particionamento com restrições java
Publicado 31/01/2014 em 18:59
usuário Alex
Publicado 05/02/2014 em 15:42
usuário Mppl
votos
0
respostas
1
visitas
136
resolver equações como CSP
Publicado 05/02/2014 em 21:41
usuário Mene
Publicado 09/02/2014 em 22:49
usuário randomatlabuser
Publicado 12/02/2014 em 12:46
usuário user3301993
votos
3
respostas
0
visitas
265
Começando com Prolog
Publicado 13/02/2014 em 08:29
usuário adsisco
votos
4
respostas
3
visitas
223
combinar elementos para uma lista de somas
Publicado 21/02/2014 em 01:40
usuário Shane
votos
1
respostas
1
visitas
284
ReifiedConstraint em Minizinc
Publicado 27/02/2014 em 04:11
usuário user2975699
Publicado 02/03/2014 em 19:49
usuário lyra42
Publicado 04/03/2014 em 13:41
usuário eleanora
Publicado 06/03/2014 em 21:53
usuário Christopher
Publicado 10/03/2014 em 09:27
usuário eleanora
votos
3
respostas
4
visitas
350
programação restrição boolean solver
Publicado 12/03/2014 em 13:28
usuário user2975699
votos
5
respostas
1
visitas
508
Converter booleana FlatZinc para CNF DIMACS
Publicado 13/03/2014 em 20:20
usuário Axel Kemper
Publicado 16/03/2014 em 10:03
usuário Nico A
Publicado 19/03/2014 em 13:41
usuário lyschoening
votos
2
respostas
1
visitas
603
restrições de entrada em AngularJS / Javascript
Publicado 20/03/2014 em 15:05
usuário brainwash
Publicado 25/03/2014 em 14:18
usuário user3172211
Publicado 02/04/2014 em 11:44
usuário Spongeboy
votos
3
respostas
2
visitas
644
Minizinc: ordem variável
Publicado 03/04/2014 em 06:26
usuário user3483760
Publicado 03/04/2014 em 18:07
usuário rookie
Publicado 11/04/2014 em 14:48
usuário user3483760
votos
2
respostas
1
visitas
109
Resolvendo restrições em Prolog
Publicado 19/04/2014 em 17:23
usuário Tanay
Publicado 21/04/2014 em 18:54
usuário Tanay
votos
7
respostas
2
visitas
212
Resolver "Alimente o Golorp" puzzle em Prolog
Publicado 21/04/2014 em 22:11
usuário Sergey Dymchenko
Publicado 23/04/2014 em 08:23
usuário Jack Kass
votos
1
respostas
2
visitas
200
Como detectar dependências inúteis?
Publicado 23/04/2014 em 12:16
usuário Jack Kass
Publicado 24/04/2014 em 15:10
usuário Skrealin
Publicado 26/04/2014 em 12:20
usuário dvberkel
Publicado 15/05/2014 em 01:32
usuário clustro
Publicado 19/05/2014 em 07:04
usuário Tudor Timi
votos
0
respostas
1
visitas
1k
Restrição em Choco
Publicado 21/05/2014 em 20:27
usuário JackAW
Publicado 22/05/2014 em 13:16
usuário Jack Kass
votos
0
respostas
2
visitas
136
estar prólogo programa de restrição - simetria
Publicado 22/05/2014 em 15:04
usuário CompilerSaysNo




Publicado 23/05/2014 em 05:24
usuário MortenM
Publicado 23/05/2014 em 12:52
usuário padawan
votos
0
respostas
0
visitas
222
Agendamento no choco
Publicado 13/06/2014 em 20:54
usuário JackAW
votos
6
respostas
5
visitas
287
Solução para máquinas numéricas de Smullyan
Publicado 19/06/2014 em 17:33
usuário Celelibi
votos
2
respostas
2
visitas
209
CLPFD para os números reais
Publicado 11/07/2014 em 06:45
usuário gnidorah
votos
1
respostas
2
visitas
343
mundo real SAT casos
Publicado 20/07/2014 em 13:24
usuário Albert Hendriks
votos
3
respostas
2
visitas
250
Projeção de soluções
Publicado 24/07/2014 em 18:17
usuário kostya
votos
0
respostas
1
visitas
22
há um bug no meu sistema de reversão?
Publicado 25/07/2014 em 08:39
usuário Albert Hendriks
Publicado 26/07/2014 em 13:56
usuário Phil
votos
3
respostas
0
visitas
97
Pesquisa heurísticas para cumulativos
Publicado 06/08/2014 em 20:52
usuário MortenM
Publicado 12/09/2014 em 10:07
usuário fatbob
votos
0
respostas
1
visitas
86
Não force alocação variável em Optaplanner
Publicado 17/09/2014 em 21:53
usuário RandomCoder
votos
1
respostas
0
visitas
264
AutoLayout pode resolver uma grade?
Publicado 18/09/2014 em 12:11
usuário Dev Kanchen
Publicado 23/09/2014 em 21:48
usuário a.tavs
votos
1
respostas
0
visitas
57
Erro CP 1001 Sem memória
Publicado 05/10/2014 em 09:52
usuário Ha DI
Publicado 08/10/2014 em 09:09
usuário M.K
Publicado 08/10/2014 em 14:11
usuário Rene
Publicado 14/10/2014 em 19:24
usuário yurbles
Publicado 30/10/2014 em 14:59
usuário Lory Lory
votos
0
respostas
1
visitas
99
Mínimo Graph algoritmo Delay
Publicado 02/11/2014 em 16:18
usuário Andre Mariano
Publicado 03/11/2014 em 19:16
usuário Erik Allik
Publicado 10/11/2014 em 21:49
usuário Willem Van Onsem
Publicado 15/11/2014 em 12:06
usuário Adrian May
votos
0
respostas
1
visitas
283
Minizinc: é este constrangimento possível?
Publicado 20/11/2014 em 07:36
usuário MassinissA
Publicado 26/11/2014 em 14:13
usuário MassinissA
Publicado 03/12/2014 em 03:41
usuário Masoud
Publicado 04/12/2014 em 19:54
usuário genclik27
votos
0
respostas
1
visitas
316
pesquisa operacional restrições condicionais OPL
Publicado 11/12/2014 em 12:39
usuário Emilien
Publicado 16/12/2014 em 12:44
usuário Phil
Publicado 24/12/2014 em 09:27
usuário Björn Lindqvist
votos
1
respostas
1
visitas
186
Como posso fazer a restrição?
Publicado 24/12/2014 em 21:04
usuário Juan Carlos Pego
Publicado 26/12/2014 em 03:18
usuário sky.flyer
votos
0
respostas
1
visitas
630
choco restrição
Publicado 28/12/2014 em 09:22
usuário HiddenDroid
Publicado 06/01/2015 em 14:50
usuário Amar AttilaZz
Publicado 07/01/2015 em 06:08
usuário Masoud
Publicado 17/01/2015 em 22:43
usuário Nightzus
Publicado 02/02/2015 em 14:05
usuário Richard Padley
Publicado 22/02/2015 em 12:56
usuário M.K
votos
0
respostas
0
visitas
178
Simplificar as restrições MiniZinc
Publicado 28/02/2015 em 11:14
usuário user1454590
Publicado 10/03/2015 em 14:41
usuário Matthias Goldhoorn
Publicado 10/03/2015 em 19:58
usuário mmgro27
votos
0
respostas
1
visitas
823
Resolver anagramas completos com um dicionário
Publicado 10/03/2015 em 20:02
usuário Anonymous programmer
votos
0
respostas
0
visitas
218
Minizinc questão restrição suave
Publicado 11/03/2015 em 14:27
usuário Marco Londero
Publicado 24/03/2015 em 13:19
usuário Zycho
Publicado 25/03/2015 em 10:18
usuário t22000
Publicado 22/04/2015 em 10:03
usuário user836026
Publicado 04/05/2015 em 09:07
usuário ddeunagomez
votos
1
respostas
1
visitas
234
Personalizado GeCode propagador não ser agendado
Publicado 04/05/2015 em 20:14
usuário Niels Søholm
votos
0
respostas
1
visitas
152
Otimização com programação por restrições
Publicado 22/05/2015 em 05:48
usuário Gökhan Yu

Cookies help us deliver our services. By using our services, you agree to our use of cookies. Learn more