Marin Vlada

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2001

2 Marin Vlada: Algorithms for Testing Satisfiability Formulas. Artif. Intell. Rev. 15(3): 153-163 (2001)

1998

1 Marin Vlada: An Efficient Algorithm for Testing Propositional Formulas. Computers and Artificial Intelligence 17(4): (1998)

	2001
2		Marin Vlada: Algorithms for Testing Satisfiability Formulas. Artif. Intell. Rev. 15(3): 153-163 (2001)
	1998
1		Marin Vlada: An Efficient Algorithm for Testing Propositional Formulas. Computers and Artificial Intelligence 17(4): (1998)