Buscar
Mostrando ítems 1-10 de 40
Curriculum-based Course Timetabling with SAT and MaxSAT
(PATAT Conferences, 2015)
Curriculum-based Course Timetabling with SAT and MaxSAT
(PATAT Conferences, 2015)
MULTIPLEX: um procedimento baseado em simulted annealing aplicado ao problema Max-Sat ponderado
(Universidade Federal do Espírito SantoBRCiência da ComputaçãoPrograma de Pós-Graduação em InformáticaUFES, 2006-06-01)
Computar a solução ótima para uma unidade de problema MAX-SAT Ponderado (weighted maximum satisfiability) é difícil mesmo se cada cláusula contiver apenas dois literais. Neste trabalho, será descrita a implementação de uma ...
Genetic Algorithm for Restricted Maximum k-Satisfiability in the Hopfield Network
The restricted Maximum k-Satisfiability MAX- kSAT is an enhanced Boolean satisfiability counterpart that has attracted numerous amount of research. Genetic algorithm has been the prominent optimization heuristic algorithm ...
Satisfiability Logic Analysis Via Radial Basis Function Neural Network with Artificial Bee Colony Algorithm
Radial Basis Function Neural Network (RBFNN) is a variant of artificial neural network (ANN) paradigm, utilized in a plethora of fields of studies such as engineering, technology and science. 2 Satisfiability (2SAT) ...
Robust Artificial Immune System in the Hopfield network for Maximum k-Satisfiability
Artificial Immune System (AIS) algorithm is a novel and vibrant computational paradigm, enthused by the biological immune system. Over the last few years, the artificial immune system has been sprouting to solve numerous ...