2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 NP-полные задачи и их решатели (SAT solvers и т.п.)
Сообщение19.04.2008, 21:10 
Аватара пользователя
MiniSAT - решатель задачи ВЫП (SAT), решатель задач псевдо-булева программирования и минимизатор КНФ (CNF) в одном флаконе. Распространяется под свободной лицензией MIT с открытыми исходными текстами.

QUALEX-MS, который находит максимальную взвешенную клику или независимое множество вершин в графе, а также другие программы Стаса Бусыгина. См. также модерируемую Стасом ньюс-группу algorithm-forge, посвященную обсуждению решений сложных задач.

Reactive Search, a History-Sensitive Heuristic for Max-Sat

Решатели Maximum Clique in Graphs (MAX-CLIQUE), Graph Partitioning (equicut), Quadratic Assignment Problem (QAP)

 
 
 [ 1 сообщение ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group