Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

22
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer International Publishing

9783319274355, 9783319274362
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals From Boolean Equalities to Constraints

2015 ◽  
pp. 73-88 ◽  
Author(s):  
Sergio Antoy ◽  
Michael Hanus

scholarly journals A Type-Theoretic Approach to Resolution

2015 ◽  
pp. 91-106 ◽  
Author(s):  
Peng Fu ◽  
Ekaterina Komendantskaya
Keyword(s):  
Theoretic Approach

Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods

2015 ◽  
pp. 143-160 ◽  
Author(s):  
Nasrine Damouche ◽  
Matthieu Martel ◽  
Alexandre Chapoutot
Keyword(s):  
Iterative Methods

scholarly journals Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges

2015 ◽  
pp. 349-364 ◽  
Author(s):  
Roberto Amadini ◽  
Maurizio Gabbrielli ◽  
Jacopo Mauro

CHR in Action

2015 ◽  
pp. 365-383
Author(s):  
Arwa Ismail ◽  
Nada Sharaf ◽  
Slim Abdennadher

Checking Java Assertions Using Automated Test-Case Generation

2015 ◽  
pp. 221-226
Author(s):  
Rafael Caballero ◽  
Manuel Montenegro ◽  
Herbert Kuchen ◽  
Vincent von Hof
Keyword(s):  
Test Case Generation ◽  
Test Case ◽  
Automated Test Case Generation ◽  
Automated Test
Load More ...
Sign in / Sign up

Export Citation Format

Share Document