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

Unbounded-Thread Program Verification using Thread-State Equations

2016 ◽  
pp. 516-531 ◽  
Author(s):  
Konstantinos Athanasiou ◽  
Peizun Liu ◽  
Thomas Wahl
Keyword(s):  
Program Verification ◽  
State Equations

Machine-Checked Interpolation Theorems for Substructural Logics Using Display Calculi

2016 ◽  
pp. 452-468
Author(s):  
Jeremy E. Dawson ◽  
James Brotherston ◽  
Rajeev Goré
Keyword(s):  
Substructural Logics ◽  
Display Calculi

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 Fast Cube Tests for LIA Constraint Solving

2016 ◽  
pp. 116-132 ◽  
Author(s):  
Martin Bromberger ◽  
Christoph Weidenbach
Keyword(s):  
Constraint Solving

scholarly journals Effective Normalization Techniques for HOL

2016 ◽  
pp. 362-370 ◽  
Author(s):  
Max Wisniewski ◽  
Alexander Steen ◽  
Kim Kern ◽  
Christoph Benzmüller

scholarly journals Super-Blocked Clauses

2016 ◽  
pp. 45-61 ◽  
Author(s):  
Benjamin Kiesl ◽  
Martina Seidl ◽  
Hans Tompits ◽  
Armin Biere
Load More ...
Sign in / Sign up

Export Citation Format

Share Document