Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Voronkov, Andrei
117  Ergebnisse:
Personensuche X
?
1

Induction in Saturation:

, In: Automated Reasoning; Lecture Notes in Computer Science,
Kovács, Laura ; Hozzová, Petra ; Hajdu, Márton. - p. 21-29 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Reducibility Constraints in Superposition:

, In: Automated Reasoning; Lecture Notes in Computer Science,
Hajdu, Márton ; Kovács, Laura ; Rawson, Michael. - p. 115-132 , 2024
Link: https://doi.org/10.1007/..
 
?
3

Synthesis of Recursive Programs in Saturation:

, In: Automated Reasoning; Lecture Notes in Computer Science,
Hozzová, Petra ; Amrollahi, Daneshvar ; Hajdu, Márton... - p. 154-171 , 2024
Link: https://doi.org/10.1007/..
 
?
4

Program Synthesis in Saturation:

, In: Automated Deduction – CADE 29; Lecture Notes in Computer Science,
Hozzová, Petra ; Kovács, Laura ; Norman, Chase. - p. 307-324 , 2023
Link: https://doi.org/10.1007/..
 
?
5

ALASCA: Reasoning in Quantified Linear Arithmetic:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Korovin, Konstantin ; Kovács, Laura ; Reger, Giles.. - p. 647-665 , 2023
Link: https://doi.org/10.1007/..
 
?
6

Getting Saturated with Induction:

, In: Lecture Notes in Computer Science; Principles of Systems Design,
Hajdu, Márton ; Hozzová, Petra ; Kovács, Laura.. - p. 306-322 , 2022
Link: https://doi.org/10.1007/..
 
?
7

Inductive Benchmarks for Automated Reasoning:

, In: Lecture Notes in Computer Science; Intelligent Computer Mathematics,
Hajdu, Márton ; Hozzová, Petra ; Kovács, Laura.. - p. 124-129 , 2021
Link: https://doi.org/10.1007/..
 
?
8

Making Theory Reasoning Simpler:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Reger, Giles ; Schoisswohl, Johannes ; Voronkov, Andrei - p. 164-180 , 2021
Link: https://doi.org/10.1007/..
 
?
9

Integer Induction in Saturation:

, In: Automated Deduction – CADE 28; Lecture Notes in Computer Science,
Hozzová, Petra ; Kovács, Laura ; Voronkov, Andrei - p. 361-377 , 2021
Link: https://doi.org/10.1007/..
 
?
10

Induction with Generalization in Superposition Reasoning:

, In: Lecture Notes in Computer Science; Intelligent Computer Mathematics,
Hajdú, Márton ; Hozzová, Petra ; Kovács, Laura.. - p. 123-137 , 2020
Link: https://doi.org/10.1007/..
 
?
11

Induction in Saturation-Based Proof Search:

, In: Lecture Notes in Computer Science; Automated Deduction – CADE 27,
Reger, Giles ; Voronkov, Andrei - p. 477-494 , 2019
Link: https://doi.org/10.1007/..
 
?
12

Perspectives of System Informatics: 12th International Andr.. 

Theoretical Computer Science and General Issues, 11964
Bjørner, Nikolaj ; Virbitskaite, Irina ; Voronkov, Andrei - 1st ed. 2019 . , 2019
Link: https://doi.org/10.1007/..
 
?
13

Unification with Abstraction and Theory Instantiation in Sa..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Reger, Giles ; Suda, Martin ; Voronkov, Andrei - p. 3-22 , 2018
Link: https://doi.org/10.1007/..
 
?
14

Coming to terms with quantified reasoning:

, In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages,
Kovács, Laura ; Robillard, Simon ; Voronkov, Andrei - p. 260-270 , 2017
Link: https://dl.acm.org/doi/1..
 
?
15

Coming to terms with quantified reasoning:

Kovács, Laura ; Robillard, Simon ; Voronkov, Andrei
ACM SIGPLAN Notices.  52 (2017)  1 - p. 260-270 , 2017
Link: https://doi.org/10.1145/..
 
1-15