BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Cyprus
1 × Portugal
1 × USA
2 × United Kingdom
3 × Italy
Collaborated with:
A.Biere M.Heule J.H.Korhonen R.Brummayer E.Oikarinen A.Belov J.Marques-Silva W.Dvorák J.P.Wallner S.Woltran P.Kaski M.Koivisto
Talks about:
techniqu (2) elimin (2) effici (2) claus (2) block (2) rule (2) reconstruct (1) preprocess (1) inprocess (1) tableaux (1)

Person: Matti Järvisalo

DBLP DBLP: J=auml=rvisalo:Matti

Facilitated 1 volumes:

SAT 2013Ed

Contributed to:

SAT 20142014
TACAS 20132013
IJCAR 20122012
KR 20122012
SAT 20122012
SAT 20112011
ICLP 20102010
SAT 20102010
TACAS 20102010
ICLP 20072007

Wrote 10 papers:

SAT-2014-JarvisaloK #bound
Conditional Lower Bounds for Failed Literals and Related Techniques (MJ, JHK), pp. 75–84.
TACAS-2013-BelovJM #preprocessor
Formula Preprocessing in MUS Extraction (AB, MJ, JMS), pp. 108–123.
Inprocessing Rules (MJ, MH, AB), pp. 355–370.
Complexity-Sensitive Decision Procedures for Abstract Argumentation (WD, MJ, JPW, SW).
SAT-2012-JarvisaloKKK #performance
Finding Efficient Circuits for Ensemble Computation (MJ, PK, MK, JHK), pp. 369–382.
SAT-2011-HeuleJB #graph #performance
Efficient CNF Simplification Based on Binary Implication Graphs (MH, MJ, AB), pp. 201–215.
ICLP-J-2010-BrummayerJ #debugging #development #testing
Testing and debugging techniques for answer set solver development (RB, MJ), pp. 741–758.
Reconstructing Solutions after Blocked Clause Elimination (MJ, AB), pp. 340–345.
Blocked Clause Elimination (MJ, AB, MH), pp. 129–144.
ICLP-2007-JarvisaloO #logic programming #source code
Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs (MJ, EO), pp. 134–148.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.