research
∙
07/24/2023
Graph Neural Networks For Mapping Variables Between Programs – Extended Version
Automated program analysis is a pivotal research domain in many areas of...
share
research
∙
04/06/2023
A Mathematical Benchmark for Inductive Theorem Provers
We present a benchmark of 29687 problems derived from the On-Line Encycl...
research
∙
10/07/2022
Machine Learning Meets The Herbrand Universe
The appearance of strong CDCL-based propositional (SAT) solvers has grea...
research
∙
07/19/2022
TestSelector: Automatic Test Suite Selection for Student Projects – Extended Version
Computer Science course instructors routinely have to create comprehensi...
research
∙
06/28/2022
InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments
Due to the vast number of students enrolled in Massive Open Online Cours...
research
∙
06/17/2022
C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments
Due to the vast number of students enrolled in Massive Open Online Cours...
research
∙
01/21/2022
Boosting Isomorphic Model Filtering with Invariants
The enumeration of finite models is very important to the working discre...
research
∙
05/28/2021
Fair and Adventurous Enumeration of Quantifier Instantiations
SMT solvers generally tackle quantifiers by instantiating their variable...
research
∙
02/10/2021
Learning Equational Theorem Proving
We develop Stratified Shortest Solution Imitation Learning (3SIL) to lea...
research
∙
12/08/2018
PrideMM: A Solver for Relaxed Memory Models
Relaxed memory models are notoriously delicate. To ease their study, sev...
research
∙
10/05/2017
QFUN: Towards Machine Learning in QBF
This paper reports on the QBF solver QFUN that has won the non-CNF track...
research
∙
05/10/2015
Exploiting Resolution-based Representations for MaxSAT Solving
Most recent MaxSAT algorithms rely on a succession of calls to a SAT sol...
research
∙
10/20/2009
How to Complete an Interactive Configuration Process?
When configuring customizable software, it is useful to provide interact...
research
∙
09/30/2009