ENTITY
Satisfiability modulo theory
Satisfiability modulo theory
PulseAugur coverage of Satisfiability modulo theory — every cluster mentioning Satisfiability modulo theory across labs, papers, and developer communities, ranked by signal.
Total · 30d
2
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
2
2 over 90d
TIER MIX · 90D
TOPICS
RECENT · PAGE 1/1 · 2 TOTAL
-
New STL-GO methods tackle complex multi-agent planning challenges
Researchers have developed two new methods, one based on mixed-integer programming (MIP) and another on satisfiability modulo theory (SMT), to address multi-agent planning problems with complex spatio-temporal and topol…
-
New CSB tool enhances SMT solvers for bit-vector counting and sampling
Researchers have developed a new tool called CSB designed to enhance Satisfiability modulo theory (SMT) solvers. This tool extends SMT capabilities beyond simple satisfiability to include model counting and sampling for…