João Paulo Marques da Silva


AuthID: R-000-J0P

Confirmed Publications: 271



221
TITLE: Probing-based preprocessing techniques for propositional satisfiability
AUTHORS: Lynce, I ; Marques Silva, J ;
PUBLISHED: 2003, SOURCE: 15th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2003) in 15TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 12
IN MY: ORCID | ResearcherID | DBLP
222
TITLE: Solving satisfiability in combinational circuits  Full Text
AUTHORS: Marques Silva, J ; Silva, LGE ;
PUBLISHED: 2003, SOURCE: IEEE DESIGN & TEST OF COMPUTERS, VOLUME: 20, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef: 10 Unpaywall
IN MY: ORCID | ResearcherID | DBLP
223
TITLE: The effect of nogood recording in DPLL-CBJ SAT algorithms  Full Text
AUTHORS: Lynce, I ; Marques Silva, J ;
PUBLISHED: 2003, SOURCE: Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming in RECENT ADVANCES IN CONSTRAINTS, VOLUME: 2627
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | ResearcherID | DBLP
224
TITLE: Building state-of-the-art SAT solvers
AUTHORS: Lynce, I; Marques Silva, J ;
PUBLISHED: 2002, SOURCE: 15th European Conference on Artificial Intelligence in ECAI 2002: 15TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 77
INDEXED IN: WOS DBLP
IN MY: DBLP
225
TITLE: Satisfiability models and algorithms for circuit delay computation  Full Text
AUTHORS: Silva, LGE ; Marques Silva, J ; Silveira, L. Miguel ; Sakallah, KA;
PUBLISHED: 2002, SOURCE: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, VOLUME: 7, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
226
TITLE: Search pruning techniques in SAT-based branch-and-bound algorithms for the binate covering problem  Full Text
AUTHORS: Manquinho, VM ; Marques Silva, JP ;
PUBLISHED: 2002, SOURCE: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOLUME: 21, ISSUE: 5
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: ORCID | ResearcherID | DBLP
227
TITLE: Tuning Randomization in Backtrack Search SAT Algorithms
AUTHORS: Inês Lynce; João Marques Marques Silva ;
PUBLISHED: 2002, SOURCE: Principles and Practice of Constraint Programming - CP 2002, 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings, VOLUME: 2470
INDEXED IN: DBLP
IN MY: DBLP
228
TITLE: A Configurable Hardware/Software Approach to SAT Solving
AUTHORS: José T de Sousa; João P Marques Silva ; Miron Abramovici;
PUBLISHED: 2001, SOURCE: 9th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, FCCM 2001 in The 9th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, FCCM 2001, Rohnert Park, California, USA, April 29 - May 2, 2001
INDEXED IN: Scopus DBLP
IN MY: DBLP
229
TITLE: An exact solution to the minimum size test pattern problem  Full Text
AUTHORS: Flores, PF ; Neto, HC ; Marques Silva, JP ;
PUBLISHED: 2001, SOURCE: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, VOLUME: 6, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: ORCID | ResearcherID | DBLP
230
TITLE: Efficient algorithms for the inference of minimum size DFAs  Full Text
AUTHORS: Oliveira, AL ; Silva, JPM ;
PUBLISHED: 2001, SOURCE: MACHINE LEARNING, VOLUME: 44, ISSUE: 1-2
INDEXED IN: Scopus WOS DBLP CrossRef: 25
IN MY: DBLP
Page 23 of 28. Total results: 271.

A place for researchers and their institutions

Useful Links

Get Help

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