ProfileOfResearchers

151

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 |

DBLP |

CIÊNCIAVITAE

152

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:

ORCID |

DBLP |

CIÊNCIAVITAE

153

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

154

TITLE: Improving SAT Algorithms by Using Search Pruning Techniques
AUTHORS: Inês Lynce ; João P Marques Silva ;
PUBLISHED: 2001, SOURCE: Principles and Practice of Constraint Programming - CP 2001, 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, VOLUME: 2239

INDEXED IN:

Scopus

DBLP

IN MY:

ORCID |

DBLP |

CIÊNCIAVITAE

155

TITLE: Stochastic Systematic Search Algorithms for Satisfiability
AUTHORS: Inês Lynce ; Luís Baptista; João Marques Silva ;
PUBLISHED: 2001, SOURCE: Electron. Notes Discret. Math., VOLUME: 9

INDEXED IN:

Scopus

DBLP

IN MY:

ORCID |

DBLP |

CIÊNCIAVITAE

156

TITLE: Towards Provably Complete Stochastic Search Algorithms for Satisfiability
AUTHORS: Inês Lynce ; Luís Baptista; João P Marques Silva ;
PUBLISHED: 2001, SOURCE: Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving, 10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001, Proceedings, VOLUME: 2258

INDEXED IN:

Scopus

DBLP

IN MY:

ORCID |

DBLP |

CIÊNCIAVITAE