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

Consistency for Quantified Constraint Satisfaction Problems

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

DOI10.1007/11564751_66zbMath1153.68471OpenAlexW1540285992MaRDI QIDQ3524224

Peter W. Nightingale

Publication date: 9 September 2008

Published in: Principles and Practice of Constraint Programming - CP 2005 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11564751_66



Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)


Related Items (2)

Value ordering for quantified CSPs ⋮ Non-binary quantified CSP: Algorithms and modelling


Uses Software

  • Chaff
  • MINION






This page was built for publication: Consistency for Quantified Constraint Satisfaction Problems

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