A+INFORMS Journal on ComputingUTD242021Improved Computational Approaches and Heuristics for Zero ForcingBoris Brimkov, Derek Mikesell, Illya V. Hicks被引 9阅读 6计算理论与数学
EM-WoSEuropean Journal of Operational Research2021299(2): 448-467A new branch-and-filter exact algorithm for binary constraint satisfaction problemsPablo San Segundo, Fabio Furini, Rafael León被引 6阅读 3基金开放获取计算机网络与通信
EM-WoSInformation Sciences2021566: 118-139Emphasis on the flipping variable: Towards effective local search for hard random satisfiabilityHuimin Fu, Yang Xu, Guanfeng Wu, Jun Liu 等 6 人被引 9阅读 2基金开放获取计算机网络与通信
EM-WoSComputers & Industrial Engineering2020149: 106777-106777SMT encodings for Resource-Constrained Project Scheduling ProblemsMiquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret被引 28阅读 3基金开放获取管理科学与运筹学
EM-WoSEuropean Journal of Operational Research2024316(3): 815-827A genetic algorithm for the Resource-Constrained Project Scheduling Problem with Alternative Subgraphs using a boolean satisfiability solverTom Servranckx, José Coelho, Mario Vanhoucke被引 22阅读 3高影响力 前 10%基金开放获取管理科学与运筹学
EM-WoSInformation Sciences2022589: 80-93Self-adapting spiking neural P systems with refractory period and propagation delayYuzhen Zhao, Yuping Liu, Xiyu Liu, Minghe Sun 等 6 人被引 18阅读 2基金分子生物学
EM-WoSEuropean Journal of Operational Research2021298(3): 979-1006Learning non-compensatory sorting models using efficient SAT/MaxSAT formulationsAli Tlili, Khaled Belahcène, Oumaima Khaled, Vincent Mousseau 等 5 人被引 9阅读 2开放获取管理科学与运筹学
EM-WoSInformation Sciences2020546: 206-219Monodirectional tissue P systems with channel statesBosheng Song, Xiangxiang Zeng, Alfonso Rodríguez‐Patón被引 37阅读 1基金分子生物学
EM-WoSExpert Systems with Applications2020165: 113853-113853An improved grammatical evolution approach for generating perturbative heuristics to solve combinatorial optimization problemsGeorge Mweshi, Nelishia Pillay被引 9阅读 1人工智能
EM-WoSExpert Systems with Applications201777: 44-56Diagnosing resource usage failures in multi-agent systemsOrel Elimelech, Roni Stern, Meir Kalech, Yedidya Bar-Zev被引 14阅读 2人工智能
