The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Miquel Bofill: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Miquel Bofill, Albert Rubio
    Well-Foundedness Is Sufficient for Completeness of Ordered Paramodulation. [Citation Graph (0, 0)][DBLP]
    CADE, 2002, pp:456-470 [Conf]
  2. Miquel Bofill, Albert Rubio
    Redundancy Notions for Paramodulation with Non-monotonic Orderings. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:107-121 [Conf]
  3. Miquel Bofill, Guillem Godoy, Robert Nieuwenhuis, Albert Rubio
    Modular Redundancy for Theorem Proving. [Citation Graph (0, 0)][DBLP]
    FroCos, 2000, pp:186-199 [Conf]
  4. Miquel Bofill, Guillem Godoy
    On the Completeness of Arbitrary Selection Strategies for Paramodulation. [Citation Graph (0, 0)][DBLP]
    ICALP, 2001, pp:951-962 [Conf]
  5. Miquel Bofill, Guillem Godoy, Robert Nieuwenhuis, Albert Rubio
    Paramodulation with Non-Monotonic Orderings. [Citation Graph (0, 0)][DBLP]
    LICS, 1999, pp:225-233 [Conf]
  6. Miquel Bofill, Guillem Godoy, Robert Nieuwenhuis, Albert Rubio
    Paramodulation and Knuth-Bendix Completion with Nontotal and Nonmonotonic Orderings. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2003, v:30, n:1, pp:99-120 [Journal]

  7. The Barcelogic SMT Solver. [Citation Graph (, )][DBLP]


  8. A Write-Based Solver for SAT Modulo the Theory of Arrays. [Citation Graph (, )][DBLP]


  9. A declarative approach to robust weighted Max-SAT. [Citation Graph (, )][DBLP]


  10. A System for Solving Constraint Satisfaction Problems with SMT. [Citation Graph (, )][DBLP]


Search in 0.242secs, Finished in 0.243secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002