Donald Chai and Andreas Kuehlmann. A fast pseudo-boolean constraint solver. In Proc. of the 40th Design Automation Conference (DAC 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Circuit-based Preprocessing of ILP and Its Applications in.. - Chai, Kuehlmann (2004) Self-citation (Chai Kuehlmann) (Correct)
No context found.
D. Chai and A. Kuehlmann, "A fast pseudo-Boolean constraint solver," in Design Automation Conference, pp. 830--835, 2003.
Bounded Model Checking and Inductive Verification.. - Becker, Behle.. (2004) (Correct)
No context found.
Donald Chai and Andreas Kuehlmann. A fast pseudo-boolean constraint solver. In Proc. of the 40th Design Automation Conference (DAC 2003.
Bounded Model Checking and Inductive Verification.. - Becker, Behle.. (2004) (Correct)
No context found.
Donald Chai and Andreas Kuehlmann. A fast pseudo-boolean constraint solver. In Proc. of the 40th Design Automation Conference (DAC 2003.
Breaking Instance-Independent Symmetries in Exact Graph.. - Ramani, Aloul, Markov.. (2004) (1 citation) (Correct)
No context found.
D. Chai, A. Kuehlmann, "A Fast Pseudo-Boolean Constraint Solver", in Proc. Design Autom. Conf., 830-835, 2003.
Symmetry-Breaking for Pseudo-Boolean Formulas - Aloul, Ramani, Markov, Sakallah (2003) (Correct)
No context found.
D. Chai and A. Kuehlmann, "A Fast Pseudo-Boolean Constraint Solver," in Proc. of the Design Automation Conference (DAC), 830-835, 2003.
Efficient SAT engines for concise logics: Accelerating proof.. - Fränzle, Herde (2003) (Correct)
No context found.
Donald Chai and Andreas Kuehlmann. A fast pseudo-boolean constraint solver. In Proc. of the 40th Design Automation Conference (DAC 2003), pages 830-835, Anaheim (California, USA), June 2003. ACM.
Bounded Model Checking and Inductive Verification.. - Becker, Behle.. (2002) (Correct)
No context found.
Donald Chai and Andreas Kuehlmann. A fast pseudo-boolean constraint solver. In Proc. of the 40th Design Automation Conference (DAC 2003.
Bounded Model Checking and Inductive Verification.. - Becker, Behle.. (2002) (Correct)
No context found.
Donald Chai and Andreas Kuehlmann. A fast pseudo-boolean constraint solver. In Proc. of the 40th Design Automation Conference (DAC 2003.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC