Open AccessAbstract conflict driven learning
Author(s) -
Vijay D’Silva,
Leopold Haller,
Daniel Kroening
Publication year - 2013
Publication title -
acm sigplan notices
Language(s) - Uncategorized
Resource type - Journals
SCImago Journal Rank - 0.31
H-Index - 99
eISSN - 1558-1160
pISSN - 0362-1340
DOI - 10.1145/2480359.2429087
Subject(s) - computer science , satisfiability , fixed point , boolean satisfiability problem , distributive property , lattice (music) , theoretical computer science , transformer , algorithm , mathematics , mathematical analysis , physics , quantum mechanics , voltage , acoustics , pure mathematics
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom