Resultaten visas 1 - 10 / 18
resultat / per sida
Vilka publikationsuppgifter finns i tjänsten?
Publikationens namn
Upphovspersoner
Publikationskanal
År

Restricted Branching in Clause Learning DPLL

Referentgranskad
Järvisalo, Matti
-2007

Extending Clause Learning DPLL with Parity Reasoning

Referentgranskad
DOI
10.3233/978-1-60750-606-5-21
Laitinen, Tero; Junttila, Tommi A.; Niemelä, Ilkka
Frontiers in Artificial Intelligence and Applications2010

Equivalence Class Based Parity Reasoning with DPLL(XOR)

Referentgranskad
DOI
10.1109/ICTAI.2011.103
Laitinen, Tero; Junttila, Tommi; Niemelä, Ilkka
International Conference on Tools with Artificial Intelligence. Proceedings2011

On the Relative Efficiency of DPLL and OBDDs with Axiom and Join

Referentgranskad
DOI
10.1007/978-3-642-23786-7_33
Järvisalo, Matti
Lecture Notes in Computer Science2011

Extending Clause Learning SAT Solvers with Complete Parity Reasoning

Referentgranskad
DOI
10.1109/ICTAI.2012.18
Laitinen, Tero; Junttila, Tommi; Niemelä, Ilkka
Proceedings-International Conference on Tools With Artificial Intelligence2012

A Digital Multistandard Paging Receiver

Referentgranskad
Vuori, J.
IEEE Transactions on Consumer Electronics1999

Narrowband digital phase locked loop using delta operator filters

Referentgranskad
Kauraniemi, Juha; Vuori, J.
-1997

Unrestricted vs Restricted Cut in a Tableau Method for Boolean Circuits

Referentgranskad
DOI
10.1007/s10472-005-7034-1
Järvisalo, Matti; Junttila, Tommi; Niemelä, Ilkka
Annals of Mathematics and Artificial Intelligence2005

On the power of top-down branching heuristics

Referentgranskad
Järvisalo, Matti; Junttila, Tommi
AAAI PRESS2008

Lauselogiikan toteutuvuusongelman ratkaiseminen laskennallisessa gridissä

Referentgranskad
Hyvärinen, Antti E.J.
HELSINGIN YLIOPISTO2006

Restricted Branching in Clause Learning DPLL

Referentgranskad
2007

Extending Clause Learning DPLL with Parity Reasoning

Referentgranskad
DOI
10.3233/978-1-60750-606-5-21
2010

Equivalence Class Based Parity Reasoning with DPLL(XOR)

Referentgranskad
DOI
10.1109/ICTAI.2011.103
2011

On the Relative Efficiency of DPLL and OBDDs with Axiom and Join

Referentgranskad
DOI
10.1007/978-3-642-23786-7_33
2011

Extending Clause Learning SAT Solvers with Complete Parity Reasoning

Referentgranskad
DOI
10.1109/ICTAI.2012.18
2012

A Digital Multistandard Paging Receiver

Referentgranskad
1999

Narrowband digital phase locked loop using delta operator filters

Referentgranskad
1997

Unrestricted vs Restricted Cut in a Tableau Method for Boolean Circuits

Referentgranskad
DOI
10.1007/s10472-005-7034-1
2005

On the power of top-down branching heuristics

Referentgranskad
2008

Lauselogiikan toteutuvuusongelman ratkaiseminen laskennallisessa gridissä

Referentgranskad
2006