NeFut
中
Admin Login
Search
2026-07-25 22:00
[CS.AI] Machine Learning for Efficient SAT Encoding of Single-Constant Multiplication
#Machine Learning #optimization #C++
2026-07-25 22:00
[CS.AI] Unified Logical Foundation: New Semantics for ASP with Difference Constraints
#Logic #Answer Set Programming #Constraint Programming
2026-07-25 22:00
[CS.AI] New Well-Supported Semantics for Description Logic Programs
#Logic #Description Logic #Semantic
2026-07-25 22:00
[CS.AI] ICAE-Bench: Evaluating Coding Agents in Interactive Project Building
#algorithm #C++ #Open Source
2026-07-25 22:00
[CS.AI] Revolutionizing Basketball Video Understanding: BasketEvent Dataset and PlayNet Framework
#algorithm #AI #Open Source
«
1
...
346
347
348
349
350
...
966
»
