Merging Relational Database Technology with Constraint Technology

Authors:
Andrei Voronkov
Affiliations:
-
Venue:
Proceedings of the Second International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Year:
1996

Citing 0
Cited 3

Deciding Effectively Propositional Logic Using DPLL and Substitution Sets

IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Proof Systems for Effectively Propositional Logic

IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Deciding Effectively Propositional Logic Using DPLL and Substitution Sets

Journal of Automated Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract