8 citations · 9 across the 3 of their papers we have counts for
3 papers
Qualitative Modelling via Constraint Programming: Past, Present and Future
Thomas W. Kelsey, Lars Kotthoff, Christoffer A. Jefferson +4
Qualitative modelling is a technique integrating the fields of theoretical computer science, artificial intelligence and the physical and biological sciences. The aim is to be able…
Finding the Minimal DFA of Very Large Finite State Automata with an Application to Token Passing Networks
Vlad Slavici, Daniel Kunkle, Gene Cooperman +1
Finite state automata (FSA) are ubiquitous in computer science. Two of the most important algorithms for FSA processing are the conversion of a non-deterministic finite automaton (…
Torsion units in integral group rings of Conway simple groups
V. Bovdi, A. Konovalov, S. Linton
Using the Luthar--Passi method, we investigate the possible orders and partial augmentations of torsion units of the normalized unit group of integral group rings of Conway simple…