The following pages link to Computer Science Logic (Q5311270):
Displaying 20 items.
- Labelled interpolation systems for hyper-resolution, clausal, and local proofs (Q286731) (← links)
- Guiding Craig interpolation with domain-specific abstractions (Q300418) (← links)
- Resolution proof transformation for compression and interpolation (Q479815) (← links)
- Efficient generation of small interpolants in CNF (Q746773) (← links)
- Optimization techniques for Craig interpolant compaction in unbounded model checking (Q888467) (← links)
- Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations (Q1039847) (← links)
- Fast interpolating BMC (Q1702933) (← links)
- Exploiting partial variable assignment in interpolation-based model checking (Q2009611) (← links)
- Syntax-guided synthesis for lemma generation in hardware model checking (Q2234081) (← links)
- An interpolating theorem prover (Q2575736) (← links)
- Interpolant Strength Revisited (Q2843336) (← links)
- Generalized Craig interpolation for stochastic Boolean satisfiability problems with applications to probabilistic state reachability and region stability (Q2895477) (← links)
- Interpolant Strength (Q3656880) (← links)
- Interpolation Properties and SAT-Based Model Checking (Q5166692) (← links)
- Interpolant Generation for UTVPI (Q5191101) (← links)
- Effective Interpolation and Preservation in Guarded Logics (Q5277909) (← links)
- Correct Hardware Design and Verification Methods (Q5493247) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703754) (← links)
- Applications and Theory of Petri Nets 2005 (Q5713510) (← links)
- Computer Aided Verification (Q5900666) (← links)
