Jean-Marc Boï, Antoine Rauzy Two Algorithms for Constraint Systems Solving in Propositional Calculus and their Implementation in Constraint Programming Languages. [Citation Graph (0, 0)][DBLP] AIMSA, 1990, pp:139-148 [Conf]
Antoine Rauzy Polynomial Restrictions of SAT: What Can Be Done with an Efficient Implementation of the Davis and Putnam's Procedure? [Citation Graph (0, 0)][DBLP] CP, 1995, pp:515-532 [Conf]
Antoine Rauzy Using the Constraint Language Toupie for "Software Cost Reduction" Specification Analysis (Abstract). [Citation Graph (0, 0)][DBLP] TACAS, 1996, pp:417- [Conf]
Antoine Rauzy A m log m algorithm to compute the most probable configurations of a system with multi-mode independent components. [Citation Graph (0, 0)][DBLP] IEEE Transactions on Reliability, 2005, v:54, n:1, pp:156-158 [Journal]
Antoine Rauzy Toward an efficient implementation of the MOCUS algorithm. [Citation Graph (0, 0)][DBLP] IEEE Transactions on Reliability, 2003, v:52, n:2, pp:175-180 [Journal]
Antoine Rauzy A new methodology to handle Boolean models with loops. [Citation Graph (0, 0)][DBLP] IEEE Transactions on Reliability, 2003, v:52, n:1, pp:96-105 [Journal]
Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP