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

Forward checking and intelligent backtracking

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

DOI10.1016/0020-0190(89)90035-5zbMath0688.68048OpenAlexW2048954164MaRDI QIDQ1263983

D. A. Wolfram

Publication date: 1989

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(89)90035-5


zbMATH Keywords

computational complexityforward checkingintelligent backtrackingsearch rearrangement


Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Searching and sorting (68P10) Algorithms in computer science (68W99)


Related Items (1)

Propositional SAT Solving




Cites Work

  • An execution model for exploiting AND-parallelism in logic programs
  • Relational consistency algorithms and their application in finding subgraph and graph isomorphisms
  • Consistency in networks of relations
  • Intractable unifiability problems and backtracking




This page was built for publication: Forward checking and intelligent backtracking

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