Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Max-SAT with cardinality constraint parameterized by the number of clauses
Jain, Pallavi, Kanesh, Lawqueen, Panolan, Fahad, Saha, Souvik, Sahu, Abhishek, Saurabh, Saket, Upasana, Anannya
Published in Theoretical computer science (21.11.2025)
Published in Theoretical computer science (21.11.2025)
Get full text
Journal Article
Dynamic Algorithms for Approximate Steiner Trees
Raikwar, Hemraj, Sadharakiya, Harshil, Karmakar, Sushanta
Published in Concurrency and computation (10.04.2025)
Published in Concurrency and computation (10.04.2025)
Get full text
Journal Article
A Linearized Alternating Direction Method of Multipliers with Substitution Procedure
Chao, Miantao, Cheng, Caozong, Zhang, Haibin
Published in Asia-Pacific journal of operational research (01.06.2015)
Published in Asia-Pacific journal of operational research (01.06.2015)
Get full text
Journal Article
A Nearly Optimal Packet Scheduling Algorithm for Input Queued Switches with Deadline Guarantees
Zhang, Baoxian, Wan, Xili, Junzhou, Luo, Shen, Xiaojun
Published in IEEE transactions on computers (01.06.2015)
Published in IEEE transactions on computers (01.06.2015)
Get full text
Journal Article