Войти
Запомнить
Регистрация
PullRequest
Лента
Топ
Теги
Новая
Новая
Вопросы с тегом Ограничение-программирование
1
голос
1
ответ
Линейный сб Unsat против линейного Unsat сб
lava_07
/
04 мая 2020
ограничение-программирование
село
выполнимость
sat-решатель
ограничение-удовлетворение
0
голосов
1
ответ
Как адаптировать и OPL-код к Java API с помощью Eclipse IDE
Fco.Jav.Y
/
29 апреля 2020
java
планирование
cplex
ограничение-программирование
ф-оптимизатор
0
голосов
0
ответов
Домен, привязанный к IntVar в Google or-tools, создает недопустимую модель
peru
/
29 апреля 2020
java
ограничение-программирование
или-инструменты
1
голос
1
ответ
Попытка установить ограничение на MiniZin c с массивом наборов
David Goliath
/
24 апреля 2020
массивы
ограничение-программирование
minizin-c
2
голосов
1
ответ
Как напечатать значения переменных в gecode
user13387285
/
23 апреля 2020
c++
решатель
ограничение-программирование
gecode
1
голос
1
ответ
Есть ли способ поменять местами столбцы двумерного массива (матрицы) в MiniZin c и отслеживать это?
Juan Marcos
/
19 апреля 2020
массивы
сортировка
замены
ограничение-программирование
minizin-c
0
голосов
1
ответ
Существует ли какой-либо метод распространения в программировании с ограничениями - GoogleORTools, такой как CPLEX-CP solver?
Rajat Mishra
/
30 марта 2020
сп
ограничение-программирование
или-инструменты
распространение
1
голос
0
ответов
Обнаружение завершения в CP-SAT
sdare
/
25 марта 2020
java
ограничение-программирование
или-инструменты
0
голосов
1
ответ
Как использовать теплые старты в Minizin c?
Anon
/
20 марта 2020
ограничение-программирование
minizin-c
0
голосов
0
ответов
Как определить ограничение для OR-Tools, которое ограничивает количество переменных, которые могут иметь конкретное значение?
Pedro Rodrigues
/
16 марта 2020
c#
ограничение-программирование
или-инструменты
1
голос
1
ответ
Ядро Unsat в минисате
lava_07
/
16 марта 2020
ограничение-программирование
сидел
сидел-решатели
0
голосов
1
ответ
Minizin c ошибка: недопустимый тип-экземпляр: ожидаемый `float ', фактический` var float'
Max Power
/
16 марта 2020
алгоритм
путешествия-коммивояжер
ограничение-программирование
minizin-c
целочисленное-программирование
0
голосов
1
ответ
Выражение многопеременных ограничений с помощью OR-Tools
sdare
/
14 марта 2020
java
ограничение-программирование
или-инструменты
1
голос
0
ответов
Решение проблем SAT с использованием минисата
lava_07
/
14 марта 2020
ограничение-программирование
сидел
сидел-решатели
0
голосов
1
ответ
Как интерпретировать оптимальное или неосуществимое решение с 0 ветвями?
The Random Forum Guy
/
11 марта 2020
c#
ограничение-программирование
или-инструменты
1
голос
1
ответ
Кодировка Atleast K из N в решателях SAT
lava_07
/
11 марта 2020
ограничение-программирование
сидел
сидел-решатели
2
голосов
1
ответ
Понимание формата ввода ограничения Geost Minizincs
Phonolog
/
10 марта 2020
ограничение-программирование
minizin-c
1
голос
1
ответ
Как определить ограничение в Ortools, чтобы установить предел различных значений
Mike_Male
/
28 февраля 2020
c#
линейное-программирование
ограничение-программирование
или-инструменты
1
голос
1
ответ
Выберите соответствие r aws в таблице с Minizinc
med
/
15 февраля 2020
ограничение-программирование
minizin-c
0
голосов
1
ответ
OR-Tools CP SAT: глобальные AddForbiddenAssignments на уровне модели, такие как AddAllDifferent
bechtold
/
08 февраля 2020
python
ограничение-программирование
или-инструменты
0
голосов
1
ответ
Использование битового вектора в Z3
squirem
/
27 января 2020
c++
ограничения
z3
ограничение-программирование
0
голосов
1
ответ
Gecode vs. Z3 для ограниченной рандомизации
squirem
/
27 января 2020
c++
ограничения
z3
ограничение-программирование
gecode
1
голос
0
ответов
Как распространить фильтрацию доменов по переменным с помощью Google Or-tools?
João Pedro Schmitt
/
21 января 2020
java
ограничение-программирование
или-инструменты
1
голос
1
ответ
MiniZin c 'ПРЕДУПРЕЖДЕНИЕ: обнаружено несоответствие модели'
Jack Wall
/
20 января 2020
ограничение-программирование
minizin-c
15
голосов
3
ответов
Поиск всех комбинаций свободных полиомино в заданной области c с помощью SAT-решателя (Python)
solub
/
14 января 2020
python
комбинации
z3
ограничение-программирование
или-инструменты
Страница:
1
2
3
4
5
туда »
Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...