Joint Proceedings of the 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion ... (Q115608344)

Proceedings of HYDRA-RCRA 2022 workshop

Language	Label	Description	Also known as
English	Joint Proceedings of the 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion ...	Proceedings of HYDRA-RCRA 2022 workshop

Statements

instance of

proceedings

1 reference

reference URL

http://ceur-ws.org/Vol-3281/

retrieved

5 December 2022

short name

HYDRA-RCRA 2022 (English)

1 reference

reference URL

http://ceur-ws.org/Vol-3281/

retrieved

5 December 2022

title

Joint Proceedings of the 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2022) (English)

1 reference

reference URL

http://ceur-ws.org/Vol-3281/

retrieved

5 December 2022

part of the series

CEUR Workshop Proceedings

volume

3281

1 reference

reference URL

http://ceur-ws.org/Vol-3281/