Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Create a new EntitySchema
Merge two items
In other projects
Discussion
View source
View history
Purge
English
Log in

Algorithmic power from declarative use of redundant constraints

From MaRDI portal
Publication:1969732
Jump to:navigation, search

DOI10.1023/A:1009821007410zbMath0949.68041MaRDI QIDQ1969732

Maarten H. Van Emden

Publication date: 19 March 2000

Published in: Constraints (Search for Journal in Brave)


zbMATH Keywords

redundant constraintsinterval constraints


Mathematics Subject Classification ID

Logic programming (68N17)


Related Items (6)

Range-only SLAM with indistinguishable landmarks; a constraint programming approach ⋮ Solving set-valued constraint satisfaction problems ⋮ Set-membership state estimation with fleeting data ⋮ Combining interval analysis with flatness theory for state estimation of sailboat robots ⋮ Probabilistic set-membership approach for robust regression ⋮ Contracting optimally an interval matrix without loosing any positive semi-definite matrix is a tractable problem


Uses Software

  • XSB



This page was built for publication: Algorithmic power from declarative use of redundant constraints

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1969732&oldid=14427431"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
MaRDI portal item
This page was last edited on 1 February 2024, at 16:40.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki