VAMPIRE24: VAMPIRE 2024: THE 8TH VAMPIRE WORKSHOP
Overview
Paper Submission
Important Dates
Program Committee
Invited Speaker
Venue
PROGRAM
AUTHORS
KEYWORDS
TALK AUTHOR INDEX
Shortcuts:
C
H
P
S
W
C
Coutelier
, Robin
Efficient Heuristics in First-Order Theorem Proving
H
Hajdu
, Marton
Efficient execution of runtime-specialized code
Hozzová
, Petra
Synthesis of the Floored Division Function in Saturation
P
Paulson
, Larry
Sledgehammer: a Saga
S
Suda
, Martin
Vampire's Question Answering Revis(it)ed Again
W
Wagner
, Eva Maria
Synthesis of the Floored Division Function in Saturation
Disclaimer
|
Powered by EasyChair Smart Program