Automated Reasoning - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

38
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer International Publishing

9783319402284, 9783319402291
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Lower Runtime Bounds for Integer Programs

2016 ◽  
pp. 550-567 ◽  
Author(s):  
F. Frohn ◽  
M. Naaf ◽  
J. Hensel ◽  
M. Brockschmidt ◽  
J. Giesl
Keyword(s):  
Integer Programs

Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments

2016 ◽  
pp. 389-405 ◽  
Author(s):  
Laura Bozzelli ◽  
Alberto Molinari ◽  
Angelo Montanari ◽  
Adriano Peron ◽  
Pietro Sala
Keyword(s):  
Model Checking ◽  
Temporal Logic ◽  
Logic Model ◽  
Interval Temporal Logic ◽  
Logic Model Checking

Selecting the Selection

2016 ◽  
pp. 313-329 ◽  
Author(s):  
Kryštof Hoder ◽  
Giles Reger ◽  
Martin Suda ◽  
Andrei Voronkov

scholarly journals Effective Normalization Techniques for HOL

2016 ◽  
pp. 362-370 ◽  
Author(s):  
Max Wisniewski ◽  
Alexander Steen ◽  
Kim Kern ◽  
Christoph Benzmüller
Load More ...
Sign in / Sign up

Export Citation Format

Share Document