Concepedia

Mixed logical-linear programming

John Hooker, Marı́a A. Osorio

Discrete Applied Mathematics · 1999 · 158 citations · 52 references

DOIFull text

Open access

References

52

A Machine-Oriented Logic Based on the Resolution Principle

John A. Robinson · Journal of the ACM · 1965 · 3.9K citations · Full text

, , +4

Constraint logic programming

Joxan Jaffar, J.-L. Lassez · 1987 · 1.6K citations

, , +10

The Art of Prolog

Leon Sterling, Ehud Shapiro, Randy Garrett · IEEE Expert · 1987 · 1.1K citations

, , +9

Prolog programming for artificial intelligence

Computer-Aided Design · 1986 · 1.1K citations

, , +8

The intractability of resolution

Armin Haken · Theoretical Computer Science · 1985 · 829 citations

, , +5