Per accedir als documents amb el text complet, si us plau, seguiu el següent enllaç: http://hdl.handle.net/2117/102254

Speeding up the constraint-based method in difference logic
Candeago, L.; Larraz Hurtado, Daniel; Oliveras Llunell, Albert; Rodríguez Carbonell, Enric; Rubio Gimeno, Alberto
Universitat Politècnica de Catalunya. Departament de Ciències de la Computació; Universitat Politècnica de Catalunya. LOGPROG - Lògica i Programació
Àrees temàtiques de la UPC::Informàtica::Intel·ligència artificial
Boolean satisfiability problem
Formal logic
Graph theory
Reconfigurable hardware
Semantics
Constraint based method
Integer arithmetic
Invariant generations
Linear arithmetic
Non terminations
Program analysis
Program semantics
Verification systems
Computer circuits
Problema de satisfacibilitat booleana
info:eu-repo/semantics/submittedVersion
info:eu-repo/semantics/conferenceObject
         

Mostra el registre complet del document

Documents relacionats

Altres documents del mateix autor/a

Larraz Hurtado, Daniel; Oliveras Llunell, Albert; Rodríguez Carbonell, Enric; Rubio Gimeno, Alberto
Larraz Hurtado, Daniel; Oliveras Llunell, Albert; Rodríguez Carbonell, Enric; Rubio Gimeno, Alberto
Brockschmidt, Marc; Larraz Hurtado, Daniel; Oliveras Llunell, Albert; Rodríguez Carbonell, Enric; Rubio Gimeno, Alberto
Larraz Hurtado, Daniel; Nimkar, Kaustubh; Oliveras Llunell, Albert; Rodríguez Carbonell, Enric; Rubio Gimeno, Alberto
Asín Acha, Roberto Javier; Nieuwenhuis, Robert Lukas Mario; Oliveras Llunell, Albert; Rodríguez Carbonell, Enric