A study on Boolean constraint solvers

Authors:
Satoshi Menju;Kô Sakai;Yosuke Sato;Akira Aiba
Affiliations:
-;-;-;-
Venue:
Constraint logic programming
Year:
1993

Citing 0
Cited 2

Defeasible Constraint Solving over the Booleans

IBERAMIA '98 Proceedings of the 6th Ibero-American Conference on AI: Progress in Artificial Intelligence
On the Computation of Elimination Ideals of Boolean Polynomial Rings

Computer Mathematics

Quantified Score

Hi-index	0.00

Visualization

Abstract