RN
120
Publications
3,870
Citations
27
h-index
60
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (72)
- Book Chapter (45)
- Book (3)
Filter by Open Access Type
- Open Access (28)
- Closed Access (92)
Filter by Authors
- Robert Nieuwenhuis (120)
- Albert Oliveras (37)
- Enric Rodríguez-Carbonell (21)
- Albert Rubio (19)
- Андрей Воронков (15)
Filter by Topics
- Logic, programming, and type systems (66)
- Formal Methods in Verification (59)
- Logic, Reasoning, and Knowledge (50)
- Constraint Satisfaction and Optimization (20)
- semigroups and automata theory (16)