Boolean satisfiability problem

Algorithms for the satisfiability (SAT) problem: A survey

Jun Gu, Paul W. Purdom, John Franco, Benjamin W. Wah

引用数: 287 • 1997

SMT-based synthesis of integrated task and motion plans from plan outlines

Srinivas Nedunuri, Sailesh Prabhu, Mark Moll, Swarat Chaudhuri, Lydia E. Kavraki

引用数: 62 • 2014

Intractability of Time-Optimal Multirobot Path Planning on 2D Grid Graphs with Holes

Jacopo Banfi, Nicola Basilico, Francesco Amigoni

引用数: 62 • 2017

SMC: Satisfiability Modulo Convex Programming

Yasser Shoukry, Pierluigi Nuzzo, Alberto Sangiovanni‐Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada

引用数: 49 • 2018

SMC

Yasser Shoukry, Pierluigi Nuzzo, Alberto Sangiovanni‐Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada

引用数: 42 • 2017

Satisfiability Checking for Mission-Time LTL

Jianwen Li, Moshe Y. Vardi, Kristin Yvonne Rozier

引用数: 37 • 2019

Wire Routing and Satisfiability Planning

Esra Erdem, Vladimir Lifschitz, Martin D. F. Wong

引用数: 23 • 2000

ASP-Based Time-Bounded Planning for Logistics Robots

Björn Schäpers, Tim Niemueller, Gerhard Lakemeyer, Martin Gebser, Torsten Schaub

引用数: 19 • 2018

An SMT-Based Approach to Motion Planning for Multiple Robots With Complex Constraints

Frank Imeson, Stephen L. Smith

引用数: 18 • 2019

Motion planning with Satisfiability Modulo Theories

William N. N. Hung, Xiaoyu Song, Jindong Tan, Xiaojuan Li, Jie Zhang, Rui Wang, Peng Gao

引用数: 16 • 2014

A language for robot path planning in discrete environments: The TSP with Boolean satisfiability constraints

Frank Imeson, Stephen L. Smith

引用数: 14 • 2014

Sensor Deployment for Failure Diagnosis in Networked Aerial Robots: A Satisfiability-Based Approach

Fadi Aloul, Nagaragan Kandasamy

引用数: 13 • 2007

An Effective Algorithm for the Futile Questioning Problem

Anja Remshagen, Klaus Truemper

引用数: 11 • 2005

Self-Learning of Robots and the Model of Hamiltonian Path with Fixed Number of Color Repetitions for Systems of Scenarios Creation

Anna Gorbenko, Vladimir Popov

引用数: 8 • 2013

Motion Planning Using Hyperproperties for Time Window Temporal Logic

Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque

引用数: 8 • 2023

Amoeba-Inspired Electronic Solution-Searching System and Its Application to Finding Walking Maneuver of a Multi-legged Robot

Kenta Saito, Naoki Suefuji, Seiya Kasai, Masashi Aono

引用数: 8 • 2018

Decision Procedures for Epistemic Logic Exploiting Belief Bases

Emiliano Lorini, Benito Fabian Romero Jimenez

引用数: 8 • 2019

Satisfiability checking for Mission-time LTL (MLTL)

Jianwen Li, Moshe Y. Vardi, Kristin Yvonne Rozier

引用数: 6 • 2022

HPC-based parallel software for solving applied Boolean satisfiability problems

V.G. Bogdanova, Sergey Gorsky, А.А. Пашинин

引用数: 5 • 2020

The discrete minimum constraint removal motion planning problem

Anna Gorbenko, Vladimir Popov

引用数: 5 • 2015