C. Fedjiki

List of publications from the DBLP Bibliography Server - FAQ

1990

1 John N. Hooker, C. Fedjiki: Branch-and-Cut Solution of Inference Problems in Propositional Logic. Ann. Math. Artif. Intell. 1: (1990)

1990
1		John N. Hooker, C. Fedjiki: Branch-and-Cut Solution of Inference Problems in Propositional Logic. Ann. Math. Artif. Intell. 1: (1990)

Coauthor Index