Incremental Solving is a symbolic execution technique that belongs to the class of constraint-solving methods, distinguished by its ability to reuse previously computed solver states to efficiently address sequentially related path constraints.
50
Publications
4.3K
Citations
124
Authors
59
Institutions
Publications per year
2017–2026
4
Parents
Publications
50
An incremental constraint solver
Bjorn Freeman‐Benson, John Maloney, Alan Borning · Communications of the ACM · 1990 · 288 citations · Full text
1–5 of 50
Authors
124
- BF
3
h-index
- ML
2
h-index
- ÉC
2
h-index
- AB
2
h-index
- BB
2
h-index
1–5 of 124
Institutions
59
University of California, Berkeley
Berkeley, United States
3 h-index
6 publications
125 citations
National Taiwan University
Taipei, Taiwan
3 h-index
9 publications
354 citations
University of Freiburg
Freiburg im Breisgau, Germany
3 h-index
10 publications
188 citations
University of Washington
Seattle, United States
3 h-index
7 publications
960 citations
Centre National de la Recherche Scientifique
Paris, France
2 h-index
5 publications
252 citations
University of Tennessee at Knoxville
Knoxville, United States
2 h-index
7 publications
197 citations
Karlsruhe Institute of Technology
Karlsruhe, Germany
2 h-index
4 publications
68 citations
The University of Melbourne
Melbourne, Australia
2 h-index
2 publications
32 citations
1–8 of 59
Venues
- Proceedings of the International Conference on Automated Planning and Scheduling
3 publications · 83 citations
3
h-index
- IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
1 publications · 18 citations
1
h-index
- Research Repository (Delft University of Technology)
Repository · 1 publications · 16 citations
1
h-index
- International Conference on Artificial Intelligence Planning Systems
Conference · 1 publications · 13 citations
1
h-index
- Annals of Mathematics and Artificial Intelligence
1 publications · 26 citations
1
h-index
1–5