Logic programming with pseudo-Boolean constraints

Authors:
Alexander Bockmayr
Affiliations:
-
Venue:
Constraint logic programming
Year:
1993

Citing 0
Cited 2

Combining satisfiability techniques from AI and OR

The Knowledge Engineering Review
Solving linear pseudo-Boolean constraint problems with local search

AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract