MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Marc Herbstritt" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

12 documents found, showing 1 through 10. Next 10 →

ATOM

zChaff: Modifications and Extensions
by Marc Herbstritt — 2001 — report00188, Institut für Informatik, Universität Freiburg, July 17 2003. Thu, 17 Jul 2003 17:11:37 GET
…zChaff: Modifications and Extensions Marc Herbstritt Institute of Computer Science, Albert…
Cited by 4 (0 self) – Add To MetaCart

Conflict-based selection of branching rules
by Marc Herbstritt, Bernd Becker — 2003 — In Sixth International Conference on Theory and Application in Satisfiability Testing (SAT2003
…Conflict-Based Selection of Branching Rules Marc Herbstritt and Bernd Becker Institute of Computer…
Cited by 1 (0 self) – Add To MetaCart

Conflict-based Selection of Branching Rules in SAT-Algorithms
by Marc Herbstritt, Bernd Becker — 2003 — Sixth International Conference on Theory and Applications of Satisfiability Testing -Selected Papers, LNAI 2919
…Conflict-based Selection of Branching Rules in SAT-Algorithms Marc Herbstritt Bernd Becker…
Cited by 2 (0 self) – Add To MetaCart

On Combining 01X-Logic and QBF ⋆
by Marc Herbstritt, Bernd Becker
…On Combining 01X-Logic and QBF ⋆ Marc Herbstritt and Bernd Becker Albert…
Cited by 1 (0 self) – Add To MetaCart

zChaff: Modifications and Extensions
by Marc Herbstritt Institute, Marc Herbstritt, Goerges-koehler Allee — 2003
…zChaff: Modifications and Extensions Marc Herbstritt Institute of Computer Science, Albert…
Add To MetaCart

Grouping Heuristics for Word-Level Decision Diagrams
by Rolf Drechsler, Marc Herbstritt, Bernd Becker — 1999 — In Int’l Symp. Circ. and Systems
…Grouping Heuristics for Word-Level Decision Diagrams Rolf Drechsler Marc Herbstritt Bernd Becker…
Cited by 3 (2 self) – Add To MetaCart

On the impact of structural circuit partitioning on SAT-based combinational circuit verification
by Marc Herbstritt, Thomas Kmieciak, Bernd Becker — 2004 — In Proceedings of 5th IEEE International Workshop on Microprocessor Test and Verification
… Marc Herbstritt Thomas Kmieciak Bernd Becker Institute of Computer Science, Albert…
Cited by 1 (1 self) – Add To MetaCart

Circuit Partitioning for SAT-based Combinational Circuit Verification — A Case Study
by Marc Herbstritt, Marc Herbstritt, Thomas Kmieciak, Thomas Kmieciak, Bernd Becker, Bernd Becker — 2004
…Circuit Partitioning for SAT-based Combinational Circuit Verification A Case Study Marc Herbstritt…
Cited by 1 (1 self) – Add To MetaCart

Minimization of Large State Spaces using Symbolic Branching Bisimulation
by Ralf Wimmer, Marc Herbstritt, Bernd Becker — 2006 — In Proc. of DDECS’06
…Minimization of Large State Spaces using Symbolic Branching Bisimulation Ralf Wimmer Marc…
Cited by 2 (2 self) – Add To MetaCart

C.: Advanced SAT-Techniques for Bounded Model Checking of Blackbox Designs
by Marc Herbstritt, Bernd Becker, Christoph Scholl — 2006 — In: Proc. of MTV, IEEE CS
…Advanced SAT-Techniques for Bounded Model Checking of Blackbox Designs ∗ Marc Herbstritt Bernd…
Cited by 3 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB