AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Joao Marques-Silva

Joao Marques-Silva

Institut de Recherche en Informatique de Toulouse - Toulouse / France
Others
AD Scientific Index ID: 4411508
Toulouse Institute for Computer Science Research
person_outline Joao Marques-Silva's MOST POPULAR ARTICLES
1-) GRASP: A search algorithm for propositional satisfiability IEEE Transactions on Computers 48 (5), 506-521, 1999
2-) GRASP---A New Search Algorithm for Satisfiability in Proceedings of the International Conference on Computer-Aided Design, 1996
3-) Conflict-driven clause learning SAT solvers SAT Handbook, 131-154, 2009
4-) PySAT: A Python toolkit for prototyping with SAT oracles International Conference on Theory and Applications of Satisfiability …, 2018
5-) SMT-based bounded model checking for embedded ANSI-C software IEEE Transactions on Software Engineering 38 (4), 957-974, 2011