There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 8

Record: found
Abstract: not found
Article: not found

A Computing Procedure for Quantification Theory

Martin Davis, Hilary Putnam (1960)

0 comments Cited 222 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Temporal constraint networks

Judea Pearl, Itay Meiri, Rina Dechter (1991)

0 comments Cited 84 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

HYBRID ALGORITHMS FOR THE CONSTRAINT SATISFACTION PROBLEM

Patrick Prosser (1993)

0 comments Cited 30 times – based on 0 reviews      Review now

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2000

Pages: 97-108

DOI: 10.1007/10720246_8

SO-VID: 686303a7-459c-4ff0-ba0a-86742074c57d

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 6

See all cited by

SAT-Based Procedures for Temporal Reasoning

Read this book at

Related collections

Value-based Healthcare

Most cited references 8

A Computing Procedure for Quantification Theory

Temporal constraint networks

HYBRID ALGORITHMS FOR THE CONSTRAINT SATISFACTION PROBLEM

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 4,798

Cited by 6