logo
parameterized complexity

会议结果 (4)

Logical Foundations of Computer Science (LFCS)

Rank: National: USAOnline
No location
TBD
constructive mathematics and type theoryhomotopy type theorylogic+26 更多

International Conference and Workshops on Algorithms and Computation (WALCOM)

Rank: BOffline
Chengdu, China
Feb 28, 2025 - Mar 2, 2025
Experimental Algorithm MethodologiesGraph AlgorithmsGraph Drawing+20 更多

Foundations of Software Technology and Theoretical Computer Science (FST&TCS)

Rank: National: IndiaOffline
BITS Pilani, K K Birla Goa Campus
Dec 17, 2025 - Dec 19, 2025
Algebraic ComplexityAlgorithms and Data StructuresAlgorithmic Graph Theory and Combinatorics+35 更多

International Conference on Theory and Applications of Satisfiability Testing (SAT)

Rank: AOffline
Glasgow, Scotland
Aug 12, 2025 - Aug 15, 2025
Theory and Applications of Satisfiability TestingPropositional SatisfiabilityBoolean optimization+18 更多