Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

52
(FIVE YEARS 0)

H-INDEX

11
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642452208, 9783642452215
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals On QBF Proofs and Preprocessing

2013 ◽  
pp. 473-489 ◽  
Author(s):  
Mikoláš Janota ◽  
Radu Grigore ◽  
Joao Marques-Silva

scholarly journals Three SCC-Based Emptiness Checks for Generalized Büchi Automata

2013 ◽  
pp. 668-682 ◽  
Author(s):  
Etienne Renault ◽  
Alexandre Duret-Lutz ◽  
Fabrice Kordon ◽  
Denis Poitrenaud
Keyword(s):  
Büchi Automata ◽  
Buchi Automata

SAT-Based Preprocessing for MaxSAT

2013 ◽  
pp. 96-111 ◽  
Author(s):  
Anton Belov ◽  
António Morgado ◽  
Joao Marques-Silva

A Seligman-Style Tableau System

2013 ◽  
pp. 147-163 ◽  
Author(s):  
Patrick Blackburn ◽  
Thomas Bolander ◽  
Torben Braüner ◽  
Klaus Frovin Jørgensen
Keyword(s):  
Tableau System

scholarly journals Proof-Pattern Recognition and Lemma Discovery in ACL2

2013 ◽  
pp. 389-406 ◽  
Author(s):  
Jónathan Heras ◽  
Ekaterina Komendantskaya ◽  
Moa Johansson ◽  
Ewen Maclean
Keyword(s):  
Pattern Recognition
Load More ...
Sign in / Sign up

Export Citation Format

Share Document