Kenneth McAloon

Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998

Randomization in Backtrack Search: Exploiting Heavy-Tailed Profiles for Solving Hard Scheduling Problems.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Artificial Intelligence Planning Systems, 1998

1997

Logic, modeling, and programming.

[BibT_eX]

[DOI]

Ann. Oper. Res., 1997

1996

Anticipatory pruning networks and forward checking in CLP over continuous domains.

[BibT_eX]

[DOI]

Geun Sik Jo

Decis. Support Syst., 1996

Constraint-Based Programming.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1996

Optimization and computational logic.

[BibT_eX]

Wiley-Interscience series in discrete mathematics and optimization, Wiley, ISBN: 978-0-471-11533-5, 1996

1995

Parallel Integer Goal Programming.

[BibT_eX]

[DOI]

David M. Arnow

Proceedings of the 1995 ACM 23rd Annual Conference on Computer Science, CSC '95, Nashville, TN, USA, February 28, 1995

1994

Distributed Programming and Disjunctive Programming.

[BibT_eX]

David M. Arnow

Proceedings of the ILPS 94 Workshop on Design and Implementation of Parallel Logic Programming Systems, 1994

1993

2lp: A Highly Parallel Constraint Logic Programming Language.

[BibT_eX]

C. Atay

Proceedings of the Sixth SIAM Conference on Parallel Processing for Scientific Computing, 1993

2lp: Linear Programming and Logic Programming.

[BibT_eX]

Proceedings of the Principles and Practice of Constraint Programming, 1993

1992

A Canonical Form for Generalized Linear Constraints.

[BibT_eX]

[DOI]

J. Symb. Comput., 1992

A Note on the Parallel Complexity of Anti-Unification.

[BibT_eX]

[DOI]

J. Autom. Reason., 1992

Computational Complexity and Constraint Logic Programming Languages.

[BibT_eX]

[DOI]

Jim Cox

Ann. Math. Artif. Intell., 1992

1991

Decision Procedures for Constraint Based Extensions of Datalog.

[BibT_eX]

Jim Cox

Proceedings of the Constraint Logic Programming, 1991

1990

A Constraint Sequent Calculus

[BibT_eX]

[DOI]

Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990

1989

Stratification and Knowledge Base Management.

[BibT_eX]

[DOI]

Graeme S. Port

J. Symb. Comput., 1989

Independence of Negative Constraints.

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

Simplification and Elimination of Redundant Linear Arithmetic Constraints.

[BibT_eX]

Tien Huynh

Proceedings of the Logic Programming, 1989

1988

Annual Meeting of the Association for Symbolic Logic, New York City, December 1987.

[BibT_eX]

[DOI]

J. Symb. Log., 1988

Efficient Parallel Algorithms for Anti-Unification and Relative Complement

[BibT_eX]

[DOI]

Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), 1988

Applications of a Canonical Form of Gerneralized Linear Constraints.

[BibT_eX]

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

1987

Constraint Logic Programming and Option Trading.

[BibT_eX]

[DOI]

Roland H. C. Yap

IEEE Expert, 1987

On Gödel incompleteness and finite combinatorics.

[BibT_eX]

[DOI]

Akihiro Kanamori

Ann. Pure Appl. Log., 1987

Stratified Interactive Knowledge Bases.

[BibT_eX]

Proceedings of the Methodologies for Intelligent Systems, 1987

Stratification and Knowledge Based Management.

[BibT_eX]

Graeme S. Port

Proceedings of the Logic Programming, 1987

1986

Separation Results for Bounded Alternation.

[BibT_eX]

[DOI]

Proceedings of the Structure in Complexity Theory, 1986

1984

Petri Nets and Large Finite Sets.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1984

1983

Two Further Combinatorial Theorems Equivalent to the 1-Consistency of Peano Arithmetic.

[BibT_eX]

[DOI]

Peter Clote

J. Symb. Log., 1983

1982

On the Complexity of Models of Arithmetic.

[BibT_eX]

[DOI]