Constraint logic programming

Constraint-directed search : a case study of job-shop scheduling

Mark S. Fox

Citations: 532 • 2018

Active Constraints/Virtual Fixtures: A Survey

Stuart A Bowyer, Brian Davies, Ferdinando Rodriguez y Baena

Citations: 305 • 2013

Logic Programming: Formal Methods and Practical Applications

Christoph Beierle, Lutz Plümer

Citations: 65 • 1994

Hybrid artificial immune algorithm for optimizing a Van-Robot E-grocery delivery system

Dan Liŭ, Pengyu Yan, Ziyuan Pu, Yinhai Wang, Evangelos I. Kaisar

Citations: 41 • 2021

Task level robot programming using prioritized non-linear inequality constraints

Nikhil Somani, Markus Rickert, Andre Gaschler, Caixia Cai, Alexander Perzylo, Alois Knoll

Citations: 23 • 2016

A constraint satisfaction approach for planning of multi-robot systems

Doru Pănescu, Carlos Pascal

Citations: 12 • 2014

Constraint-Based Design of Embedded Intelligent Systems

Alan K. Mackworth

Citations: 12 • 1997

A framework for optimal gait generation via learning optimal control using virtual constraint

Satoshi Satoh, Kenji Fujimoto, Sang-Ho Hyon

Citations: 11 • 2008

Numerical solution of differential systems with algebraic inequalities arising in robot programming

Raymond J. Spiteri, Uri M. Ascher, Dinesh K. Pai

Citations: 10 • 2002

On Selecting and Scheduling Assembly Plans Using Constraint Programming

Carmelo Del Valle, Antonio A. Márquez, Rafael M. Gasca, Miguel Toro

Citations: 9 • 2003

Modular Robot Control and Continuous Constraint Satisfaction

Markus P. J. Fromherz, Tad Hogg, Yi Shang

Citations: 9 • 2001

Solver Learning for Predicting Changes in Dynamic Constraint Satisfaction Problems

Jon Spragg, Arnaud Lallouet, Andre Legtchenko, Éric Monfroy, AbdelAli Ed-Dbali, Ying Lü, Lara S. Crawford, Wheeler Ruml, Markus P. J. Fromherz, Christophe Guettier, William S. Havens, Bistra Dilkina, Nicola Policella, Amedeo Cesta, Angelo Oddi, Stephen F. Smith, Alfio Vidotto, Kenneth N. Brown, Christine Wei Wu, Andrëı Legtchenko

Citations: 7 • 2004

A robot decision making framework using constraint programming

Richard S. Stansbury, Arvin Agah

Citations: 6 • 2011

Feasibility‐guaranteed safety‐critical control with high‐order control barrier function method

Sihua Zhang, Di‐Hua Zhai, Yuhan Xiong, Yuanqing Xia

Citations: 5 • 2023

A Multi-level Constraint-based Controller for the Dynamo98 Robot Soccer Team

Yu Zhang, Alan K. Mackworth

Citations: 5 • 1999

Intuitive Constraint-Based Robot Programming for Robotic Assembly Tasks.

Lorenz Halt, Frank Nägele, Philipp Tenbrock, Andreas Pott

Citations: 4 • 2018

Geometric constraint solving in a dynamic geometry framework.

Hidalgo García, R Marta

Citations: 2 • 2013

Geometric constraint solving in a dynamic geometry framework.

Marta R. Hidalgo García

Citations: 2 • 2013