Results 291 to 300 of about 1,698,061 (303)
Some of the next articles are maybe not open access.
Efficient SAT Approach to Multi-Agent Path Finding Under the Sum of Costs Objective
European Conference on Artificial Intelligence, 2016Pavel Surynek +3 more
semanticscholar +1 more source
LMHS: A SAT-IP Hybrid MaxSAT Solver
International Conference on Theory and Applications of Satisfiability Testing, 2016Paul Saikko +2 more
semanticscholar +1 more source
Improved Static Symmetry Breaking for SAT
International Conference on Theory and Applications of Satisfiability Testing, 2016Jo Devriendt +3 more
semanticscholar +1 more source