Algorithms for constraint-satisfaction problems: A survey
V Kumar - AI magazine, 1992 - ojs.aaai.org
A large number of problems in AI and other areas of computer science can be viewed as
special cases of the constraint-satisfaction problem. Some examples are machine vision …
special cases of the constraint-satisfaction problem. Some examples are machine vision …
[PS][PS] Algorithms for the satisfiability (SAT) problem: A survey.
The satis ability (SAT) problem is a core problem in mathematical logic and computing
theory. In practice, SAT is fundamental in solving many problems in automated reasoning …
theory. In practice, SAT is fundamental in solving many problems in automated reasoning …
Setheo: A high-performance theorem prover
R Letz, J Schumann, S Bayerl, W Bibel - Journal of Automated Reasoning, 1992 - Springer
A sound and complete theorem prover for first-order logic is presented, which is based on
the connection method. The inference machine is implemented using PROLOG technology …
the connection method. The inference machine is implemented using PROLOG technology …
[PDF][PDF] Conflict-driven clause learning sat solvers
A Biere, M Heule, H van Maaren, T Walsh - Handbook of Satisfiability …, 2009 - ics.uci.edu
One of the main reasons for the widespread use of SAT in many applications is that Conflict-
Driven Clause Learning (CDCL) Boolean Satisfiability (SAT) solvers are so effective in …
Driven Clause Learning (CDCL) Boolean Satisfiability (SAT) solvers are so effective in …
[图书][B] Logic programming: systematic program development
Y Deville - 1990 - dl.acm.org
Logic programming | Guide books skip to main content ACM Digital Library home ACM home
Google, Inc. (search) Advanced Search Browse About Sign in Register Advanced Search …
Google, Inc. (search) Advanced Search Browse About Sign in Register Advanced Search …
An expert system for harmonizing chorales in the style of JS Bach
K Ebcioğlu - The Journal of Logic Programming, 1990 - Elsevier
This paper describes an expert system called CHORAL, harmonization of four-part chorales
in the style of Johann Sebastian Bach. The system contains about 350 rules, written in a …
in the style of Johann Sebastian Bach. The system contains about 350 rules, written in a …
Logic programming and Prolog: A tutorial
RE Davis - IEEE Software, 1985 - search.proquest.com
Logic Programming Page 1 Logic Programming and Prolog: A Tutorial Ruth E. Davis,
University of Santa Clara Logic programming Interest in logic programming is mine the final …
University of Santa Clara Logic programming Interest in logic programming is mine the final …
Information filtering: Selection mechanisms in learning systems
S Markovitch, PD Scott - Machine Learning, 1993 - Springer
Abstract Knowledge has traditionally been considered to have a beneficial effect on the
performance of problem solvers but recent studies indicate that knowledge acquisition is not …
performance of problem solvers but recent studies indicate that knowledge acquisition is not …
Algorithmic program diagnosis
EY Shapiro - Proceedings of the 9th ACM SIGPLAN-SIGACT …, 1982 - dl.acm.org
The notion of program correctness with respect to an interpretation is defined for a class of
programming languages. Under this definition, if a program terminates with an incorrect …
programming languages. Under this definition, if a program terminates with an incorrect …
Ordering conjunctive queries
DE Smith, MR Genesereth - Artificial intelligence, 1985 - Elsevier
Conjunctive problems are pervasive in artificial intelligence and database applications. In
general, such problems cannot be solved without carefully ordering the set of conjuncts for …
general, such problems cannot be solved without carefully ordering the set of conjuncts for …