EasyChair Smart SlideDocs/Log in
Author: David Carral

This page shows all presentations of this author published in EasyChair Smart Slide.

Rule-Aware Datalog Fact Explanation Using Group-SAT Solver

Rule-Aware Datalog Fact Explanation Using Group-SAT Solver

Akira Charoensit, David Carral, Pierre Bisquert, Lucas Rouquette and Federico Ulliana

Deciding Hyperproperties Combined with Functional Specifications

Deciding Hyperproperties Combined with Functional Specifications

Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann and Markus Krötzsch

Efficient Model Construction for Horn Logic with VLog: System Description

Efficient Model Construction for Horn Logic with VLog: System Description

Jacopo Urbani, Markus Krötzsch, Ceriel Jacobs, Irina Dragoste and David Carral

Presentations in this collection: 3
Copyright © 2002 – 2024 EasyChair