The following pages link to Dejan Jovanović (Q832266):
Displayed 19 items.
- Interpolation and model checking for nonlinear arithmetic (Q832268) (← links)
- Designing theory solvers with extensions (Q1687536) (← links)
- A separation logic with data: small models and automation (Q1799106) (← links)
- Solving bitvectors with MCSAT: explanations from bits and pieces (Q2096440) (← links)
- Cutting to the chase. (Q2351157) (← links)
- Being careful about theory combination (Q2441773) (← links)
- Solving Non-linear Arithmetic (Q2908506) (← links)
- A Model-Constructing Satisfiability Calculus (Q2926635) (← links)
- Green Function of the Point Source Inside/Outside Spherical Domain - Approximate Solution (Q2960539) (← links)
- Solving Nonlinear Integer Arithmetic with MCSAT (Q2961575) (← links)
- Sharing Is Caring: Combination of Theories (Q3172894) (← links)
- Selfless Interpolation for Infinite-State Model Checking (Q3296348) (← links)
- Finding Inconsistencies in Programs with Loops (Q3460079) (← links)
- (Q3500151) (← links)
- (Q4642188) (← links)
- Polite Theories Revisited (Q4933320) (← links)
- Verifying Visibility-Based Weak Consistency (Q5041095) (← links)
- Cutting to the Chase Solving Linear Integer Arithmetic (Q5200035) (← links)
- Frontiers of Combining Systems (Q5491900) (← links)