João Paulo Marques da Silva


AuthID: R-000-J0P

Publications Awaiting Confirmation

61
TITLE: Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription PDF
AUTHORS: Mikolás Janota; João Marques Silva; Radu Grigore;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1006.5896
INDEXED IN: DBLP arXiv
IN MY: DBLP
62
TITLE: Boolean satisfiability and EDA applications
AUTHORS: Joao Marques Silva;
PUBLISHED: 2009, SOURCE: Practical Design Verification, VOLUME: 9780521859721
INDEXED IN: Scopus
63
TITLE: Haplotype inference with pseudo-Boolean optimization  Full Text
AUTHORS: Ana Graça; João Marques Silva; Inês Lynce; Arlindo L. Oliveira;
PUBLISHED: 2009, SOURCE: Annals of Operations Research
INDEXED IN: Unpaywall
64
TITLE: Boolean satisfiability and EDA applications
AUTHORS: Joao Marques-Silva;
PUBLISHED: 2009, SOURCE: Practical Design Verification
INDEXED IN: CrossRef
65
TITLE: Algorithms for Weighted Boolean Optimization PDF
AUTHORS: Vasco M Manquinho; João P Marques Silva; Jordi Planes;
PUBLISHED: 2009, SOURCE: CoRR, VOLUME: abs/0903.0843
INDEXED IN: DBLP arXiv
IN MY: DBLP
66
TITLE: How to Complete an Interactive Configuration Process? PDF
AUTHORS: Mikolás Janota; Goetz Botterweck; Radu Grigore; João Marques Silva;
PUBLISHED: 2009, SOURCE: CoRR, VOLUME: abs/0910.3913
INDEXED IN: DBLP arXiv
IN MY: DBLP
67
TITLE: Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking PDF
AUTHORS: Lucas C Cordeiro; Bernd Fischer; João P Marques Silva;
PUBLISHED: 2009, SOURCE: CoRR, VOLUME: abs/0911.3784
INDEXED IN: DBLP arXiv
IN MY: DBLP
68
TITLE: SMT-Based Bounded Model Checking for Embedded ANSI-C Software PDF
AUTHORS: Lucas C Cordeiro; Bernd Fischer; João P Marques Silva;
PUBLISHED: 2009, SOURCE: CoRR, VOLUME: abs/0907.2072
INDEXED IN: DBLP arXiv
IN MY: DBLP
69
TITLE: HAPLOTYPE INFERENCE WITH BOOLEAN SATISFIABILITY  Full Text
AUTHORS: INÊS LYNCE; JOÃO MARQUES SILVA;
PUBLISHED: 2008, SOURCE: International Journal on Artificial Intelligence Tools
INDEXED IN: Unpaywall
70
TITLE: Symmetry Breaking for Maximum Satisfiability PDF
AUTHORS: João Marques Silva; Inês Lynce; Vasco M Manquinho;
PUBLISHED: 2008, SOURCE: CoRR, VOLUME: abs/0804.0599
INDEXED IN: DBLP arXiv
IN MY: DBLP
Page 7 of 8. Total results: 77.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service