The following pages link to Claudio Castellini (Q814471):
Displaying 11 items.
- SAT-based planning in complex domains: Concurrency, constraints and nondeterminism (Q814472) (← links)
- The SAT-based approach to separation logic (Q862390) (← links)
- On-line independent support vector machines (Q962688) (← links)
- Repairing learned controllers with convex optimization: a case study (Q2327267) (← links)
- (Q2848055) (← links)
- (Q4300697) (← links)
- (Q4428294) (← links)
- A Systematic Presentation of Quantified Modal Logics (Q4796510) (← links)
- Automated Deduction – CADE-20 (Q5394616) (← links)
- Theory and Applications of Satisfiability Testing (Q5714755) (← links)
- Mechanizing Mathematical Reasoning (Q5717462) (← links)
