Open AccessOn Structural Information and the Experimental Evaluation of SMT Tools
Author(s) -
Najet Boughanmi,
Silvio Ranise,
Christophe Ringeissen
Publication year - 2005
Publication title -
computational intelligence and neuroscience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.605
H-Index - 52
eISSN - 1687-5273
pISSN - 1687-5265
DOI - 10.1155/2022/4821927
Subject(s) - modulo , satisfiability modulo theories , satisfiability , conjunction (astronomy) , computer science , theoretical computer science , algorithm , arithmetic , programming language , mathematics , discrete mathematics , physics , astronomy
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