The following pages link to ABC (Q24833):
Displaying 39 items.
- The QBF Gallery: behind the scenes (Q286397) (← links)
- Labelled interpolation systems for hyper-resolution, clausal, and local proofs (Q286731) (← links)
- Benchmarking a model checker for algorithmic improvements and tuning for performance (Q453484) (← links)
- Ancilla-free synthesis of large reversible functions using binary decision diagrams (Q491242) (← links)
- Symbolic trajectory evaluation for word-level verification: theory and implementation (Q526779) (← links)
- Verified cryptographic code for everybody (Q832216) (← links)
- A temporal logic for asynchronous hyperproperties (Q832224) (← links)
- Progress in certifying hardware model checking results (Q832275) (← links)
- Optimization techniques for Craig interpolant compaction in unbounded model checking (Q888467) (← links)
- Compact and efficiently verifiable models for concurrent systems (Q1620959) (← links)
- On compiling Boolean circuits optimized for secure multi-party computation (Q1696583) (← links)
- Shield synthesis (Q1696587) (← links)
- Skolem functions for DQBF (Q1990517) (← links)
- Improving characteristics of LUT-based Mealy FSMs (Q2023587) (← links)
- Boolean functional synthesis: hardness and practical algorithms (Q2050108) (← links)
- Improving the LUT count for mealy FSMS with transformation of output collections (Q2099308) (← links)
- Scaling up livelock verification for network-on-chip routing algorithms (Q2152663) (← links)
- Solving SAT (and MaxSAT) with a quantum annealer: foundations, encodings, and preliminary results (Q2216123) (← links)
- Automated and scalable verification of integer multipliers (Q2225123) (← links)
- Incremental column-wise verification of arithmetic circuits using computer algebra (Q2225473) (← links)
- Practical synthesis of reactive systems from LTL specifications via parity games (Q2303871) (← links)
- Verifying chemical reaction network implementations: a pathway decomposition approach (Q2422010) (← links)
- Cyclic-routing of unmanned aerial vehicles (Q2424667) (← links)
- Unified QBF certification and its applications (Q2441712) (← links)
- Advanced exact synthesis of Clifford+T circuits (Q2681689) (← links)
- Heuristic NPN Classification for Large Functions Using AIGs and LEXSAT (Q2818016) (← links)
- Automated formal analysis and verification: an overview (Q2871577) (← links)
- SAT-Based Synthesis Methods for Safety Specs (Q2938057) (← links)
- Verifying Deadlock-Freedom of Communication Fabrics (Q3075484) (← links)
- Transfer of Model Checking to Industrial Practice (Q3176381) (← links)
- Symbolic Trajectory Evaluation (Q3176383) (← links)
- Model Checking Data Flows in Concurrent Network Updates (Q3297609) (← links)
- Encodings of Bounded Synthesis (Q3303904) (← links)
- SAT-Based Formula Simplification (Q3453233) (← links)
- (Q5020633) (← links)
- Partial Order Reduction for Deep Bug Finding in Synchronous Hardware (Q5039518) (← links)
- Rewriting Environment for Arithmetic Circuit Verification (Q5222992) (← links)
- Advanced Boolean Techniques (Q5223446) (← links)
- Evaluating ESOP Optimization Methods in Quantum Compilation Flows (Q5237224) (← links)
