Peter Nightingale

icon indicating a website link https://www-users.york.ac.uk/peter.nightingale/

icon company University of York icon location York, UK icon location Senior Lecturer in Computer Science, University of York. Specialises in constraint programming, an area of AI.

Results 12 comments of Peter Nightingale

SMT backend confusion

@ozgurakgun Sorry, just looking at this now, since @ott2 posted it as an issue in the SR issue tracker. SR does not attempt to guess which solver type it is...

Common Subexpression Elimination

That's AC-CSE on conjunction.