BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
constraint (89)
problem (44)
user (33)
model (16)
custom (15)

Stem satisfact$ (all stems)

184 papers:

CASECASE-2015-ZhaoCWCJZ #assessment
Experimental assessment of a satisfaction based thermal comfort control for a group of occupants (QZ, ZC, FW, ZC, YJ, ZZ), pp. 15–20.
CASECASE-2015-ZhaoCWCJZ15a
Showcase for a satisfaction based group comfort control system (QZ, ZC, FW, ZC, YJ, ZZ), pp. 697–698.
ICALPICALP-v1-2015-BhangaleKS #approximate #constraints #problem
Simultaneous Approximation of Constraint Satisfaction Problems (AB, SK, SS), pp. 193–205.
ICALPICALP-v1-2015-BodirskyMM #constraints #integer #problem
Constraint Satisfaction Problems over the Integers with Successor (MB, BM, AM), pp. 256–267.
ICALPICALP-v1-2015-KozikO #algebra #constraints #problem
Algebraic Properties of Valued Constraint Satisfaction Problem (MK, JO), pp. 846–858.
CSCWCSCW-2015-BazarovaCSCW #difference #facebook #social
Social Sharing of Emotions on Facebook: Channel Differences, Satisfaction, and Replies (NNB, YHC, VSS, DC, JW), pp. 154–164.
CSCWCSCW-2015-MatthewsMCMHB #community #what
They Said What?: Exploring the Relationship Between Language Use and Member Satisfaction in Communities (TM, JUM, JC, MM, EMH, HB), pp. 819–825.
HCIHCI-DE-2015-HashizumeK #analysis #smarttech #usability
Analysis of Factors Influencing the Satisfaction of the Usability Evaluations in Smartphone Applications (AH, SK), pp. 194–201.
HCIHCI-UC-2015-BorsciFMC #assessment #testing #usability
Short Scales of Satisfaction Assessment: A Proxy to Involve Disabled Users in the Usability Testing of Websites (SB, SF, MLM, MC), pp. 35–42.
HCIHIMI-IKD-2015-ZhangA #game studies #mobile #research
The Research of the Influence of Customer Perceived Value to Customer Satisfaction in Mobile Games (KZ, YA), pp. 678–687.
ICEISICEIS-v1-2015-ConstantinoTPLR #scheduling
A Variable Neighbourhood Search for Nurse Scheduling with Balanced Preference Satisfaction (AAC, ET, RLP, DLS, WR), pp. 462–470.
ICEISICEIS-v2-2015-Boon-itt #quality #self
Managing Service Quality of Self-Service Technologies to Enhance e-Satisfaction in Digital Banking Context — The Roles of Technology Readiness and Perceived Value (SBi), pp. 602–609.
ECIRECIR-2015-UrbanoM #correlation #definite clause grammar #how #question #user satisfaction
How Do Gain and Discount Functions Affect the Correlation between DCG and User Satisfaction? (JU, MM), pp. 197–202.
SEKESEKE-2015-SubramanianKKG #reasoning
Quantitative Reasoning of Goal Satisfaction in the i*Framework (CS, AK, AK, RPG), pp. 666–669.
SIGIRSIGIR-2015-LiuCTS0MZ #predict
Different Users, Different Opinions: Predicting Search Satisfaction with Mouse Movement Information (YL, YC, JT, JS, MZ, SM, XZ), pp. 493–502.
SIGIRSIGIR-2015-SchuthHR #metric #predict
Predicting Search Satisfaction Metrics with Interleaved Comparisons (AS, KH, FR), pp. 463–472.
SACSAC-2015-0001RMW #approach #behaviour #constraints #process
Matching of events and activities: an approach based on behavioral constraint satisfaction (TB, ARS, JM, MW), pp. 1225–1230.
LICSLICS-2015-KlinKOT #constraints #finite #problem
Locally Finite Constraint Satisfaction Problems (BK, EK, JO, ST), pp. 475–486.
ICALPICALP-v1-2014-IvanyosKQSS #complexity #constraints #fault #on the #problem
On the Complexity of Trial and Error for Constraint Satisfaction Problems (GI, RK, YQ, MS, AS), pp. 663–675.
CHICHI-2014-VlahovicWKL #community #online
Support matching and satisfaction in an online breast cancer support community (TAV, YCW, REK, JML), pp. 1625–1634.
CHICHI-2014-YurutenZP #mobile #predict #process
Predictors of life satisfaction based on daily activities from mobile sensor data (OY, JZ, PHZP), pp. 497–500.
CSCWCSCW-2014-RatanH #design #game studies
Playing well with virtual classmates: relating avatar design to group satisfaction (RR, BSH), pp. 564–573.
HCIDHM-2014-ButlewskiMC #development #safety
Non-financial Factors of Job Satisfaction in the Development of a Safety Culture Based on Examples from Poland and Romania (MB, AM, RC), pp. 577–587.
HCIDUXU-DI-2014-ShafiqICRAAR #analysis #case study #learning #smarttech #usability #user satisfaction #what
To What Extent System Usability Effects User Satisfaction: A Case Study of Smart Phone Features Analysis for Learning of Novice (MS, MI, JGC, ZR, MA, WA, SR), pp. 346–357.
CIKMCIKM-2014-KiselevaCBD #detection #modelling #user satisfaction
Modelling and Detecting Changes in User Satisfaction (JK, EC, RB, RD), pp. 1449–1458.
ECIRECIR-2014-MonizJ #analysis #sentiment
Sentiment Analysis and the Impact of Employee Satisfaction on Firm Earnings (AM, FdJ), pp. 519–527.
SIGIRSIGIR-2014-KimHWZ #predict
Comparing client and server dwell time estimates for click-level satisfaction prediction (YK, AHA, RWW, IZ), pp. 895–898.
SIGIRSIGIR-2014-LagunHWN #metric #mobile #towards
Towards better measurement of attention and satisfaction in mobile search (DL, CHH, DW, VN), pp. 113–122.
SIGIRSIGIR-2014-WangSCHHW #modelling #predict
Modeling action-level satisfaction for search task satisfaction prediction (HW, YS, MWC, XH, AHA, RWW), pp. 123–132.
POPLPOPL-2014-DSilvaHK #satisfiability
Abstract satisfaction (VD, LH, DK), pp. 139–150.
RERE-2014-RubythonM #implementation #modelling #off the shelf #requirements #variability
The effect of variability modeling on requirements satisfaction for the configuration and implementation of off-the-shelf software packages (AR, NAMM), pp. 394–401.
SACSAC-2014-TangKK #resource management #user satisfaction
An optimal device selection for user satisfaction of content sharing (JT, PK, SK), pp. 1745–1746.
LICSLICS-CSL-2014-KlinLOT #complexity #constraints #problem #turing machine
Turing machines with atoms, constraint satisfaction problems, and descriptive complexity (BK, SL, JO, ST), p. 10.
STOCSTOC-2013-HarrisS #constraints
Constraint satisfaction, packet routing, and the lovasz local lemma (DGH, AS), pp. 685–694.
HCIDUXU-CXC-2013-MakanawalaGGL #gamification #performance
Applying Gamification in Customer Service Application to Improve Agents’ Efficiency and Satisfaction (PM, JG, EG, HL), pp. 548–557.
HCIDUXU-NTE-2013-Shieh #design #segmentation #using
Designing a Product Satisfaction Model Using Customer Segmentation and Information Consolidation (MDS), pp. 568–577.
HCIDUXU-PMT-2013-Evans #bibliography #online
Beyond Satisfaction Questionnaires: “Hacking” the Online Survey (ALE), pp. 222–231.
HCIDUXU-WM-2013-KimJ13a #case study #difference #experience #user interface
A Study of the Satisfaction Level of User Experience in Digital Media Space Accordance with Differences in Flow Characteristic (YK, ECJ), pp. 515–524.
HCIHIMI-LCCB-2013-KuritaKWS #analysis
A Method for Service Failure Effects Analysis Based on Customer Satisfaction (YK, KK, KW, YS), pp. 485–494.
ICEISICEIS-v2-2013-BenhaddiBA #approach #evaluation #formal method #implementation #user satisfaction
Formalization of the User Centric SOA Approach — Implementation and End User Satisfaction Evaluation (MB, KB, EHA), pp. 481–488.
KDIRKDIR-KMIS-2013-SvobodaC #case study #education #experience
Customer Satisfaction and Loyalty in Higher Education — A Case Study over a Five-Year Academic Experience (PS, JC), pp. 431–436.
REFSQREFSQ-2013-ProynovaP #feedback #predict
Factors Influencing User Feedback on Predicted Satisfaction with Software Systems (RP, BP), pp. 96–111.
ICSTSAT-2013-MihalT #approach #constraints #logic #programmable
A Constraint Satisfaction Approach for Programmable Logic Detailed Placement (AM, ST), pp. 208–223.
MSRMSR-2012-RotellaC #analysis #bibliography
Analysis of customer satisfaction survey data (PR, SC), pp. 88–97.
STOCSTOC-2012-BartoK #constraints #problem #robust #satisfiability
Robust satisfiability of constraint satisfaction problems (LB, MK), pp. 931–940.
FLOPSFLOPS-2012-Codish #programming
Programming with Boolean Satisfaction (MC), p. 1.
KDDKDD-2012-Sun #comprehension #evaluation
Understanding users’ satisfaction for search engine evaluation (GS), p. 1404.
SEKESEKE-2012-MCRM #effectiveness #performance #usability
Measuring the Effect Of Usability Mechanisms On User Efficiency, Effectiveness and Satisfaction (MA, DMC, ADlR, AMM), pp. 599–604.
SIGIRSIGIR-2012-Hassan #approach #modelling #web
A semi-supervised approach to modeling web search satisfaction (AH), pp. 275–284.
SACSAC-2012-HijikataKN #recommendation #user satisfaction
The relation between user intervention and user satisfaction for information recommendation (YH, YK, SN), pp. 2002–2007.
CSLCSL-2012-BodirskyW #constraints #equivalence #problem
Equivalence Constraint Satisfaction Problems (MB, MW), pp. 122–136.
LICSLICS-2012-ChenM #algebra #category theory #constraints #quantifier #theorem
An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction (HC, MM), pp. 215–224.
ITiCSEITiCSE-2011-CarboneWC #student
A scheme for improving ICT units with critically low student satisfaction (AC, JW, JC), pp. 253–257.
ICALPICALP-v1-2011-BulatovM #constraints
Constraint Satisfaction Parameterized by Solution Size (AAB, DM), pp. 424–436.
ICALPICALP-v1-2011-Mengel #constraints #problem
Characterizing Arithmetic Circuit Classes by Constraint Satisfaction Problems — (Extended Abstract) (SM), pp. 700–711.
HCIDUXU-v2-2011-GaoZ #user satisfaction
User Satisfaction of Ali Wangwang, an Instant Messenger Tool (JG, ZZ), pp. 414–420.
HCIHCI-UA-2011-RhiuRJY #analysis
Analysis of Customer Satisfaction on the Stiffness of Outside Panels of Passenger Cars (IR, TR, BJ, MHY), pp. 257–265.
HCIOCSC-2011-TanT #design #perspective
Impact of Blog Design Features on Blogging Satisfaction: An Impression Management Perspective (WKT, HHT), pp. 130–139.
CAiSECAiSE-2011-PerniciS #adaptation #fuzzy
A Fuzzy Service Adaptation Based on QoS Satisfaction (BP, SHS), pp. 48–61.
ICEISICEIS-v2-2011-WangJ #analysis #empirical
An Empirical Analysis of Beijing Public Transport Users’ Satisfaction Level (HW, LJ), pp. 384–388.
ICEISICEIS-v4-2011-FengLL #evaluation #set
Comprehensive Evaluation of the Railway Passenger’s Satisfaction based on Rough Set and Entropy (YqF, XwL, XmL), pp. 629–635.
CIKMCIKM-2011-HassanSH #estimation #metric #web
A task level metric for measuring web search satisfaction and its application on improving relevance estimation (AHA, YS, LwH), pp. 125–134.
SIGIRSIGIR-2011-LiuADGMPS #predict #web
Predicting web searcher satisfaction with existing community-based answers (QL, EA, GD, EG, YM, DP, IS), pp. 415–424.
ESEC-FSEESEC-FSE-2011-ClementsEIMM #architecture #requirements #testing
Exploiting software architecture to support requirements satisfaction testing (PCC, MJEC, PI, IM, EM), pp. 484–487.
HPDCHPDC-2011-ChenWZSLZ #in the cloud #trade-off
Tradeoffs Between Profit and Customer Satisfaction for Service Provisioning in the Cloud (JC, CW, BBZ, LS, YCL, AYZ), pp. 229–238.
CSLCSL-2011-Egri #constraints #on the #problem
On Constraint Satisfaction Problems below P (LE), pp. 203–217.
CSLCSL-2011-Wolter #constraints #data access #ontology
Ontology-Based Data Access and Constraint Satisfaction (FW), p. 4.
ICSTICST-2011-NavarroPR #quality #towards #user interface #user satisfaction
Towards Software Quality and User Satisfaction through User Interfaces (PLMN, GMP, DSR), pp. 415–418.
LICSLICS-2011-Barto #constraints #problem #revisited
The Dichotomy for Conservative Constraint Satisfaction Problems Revisited (LB), pp. 301–310.
ICSTSAT-2011-Sen #constraints #testing
Concolic Testing and Constraint Satisfaction (KS), pp. 3–4.
STOCSTOC-2010-Marx #constraints #query
Tractable hypergraph properties for constraint satisfaction and conjunctive queries (DM), pp. 735–744.
FLOPSFLOPS-2010-TamuraTB #constraints #problem #satisfiability
Solving Constraint Satisfaction Problems with SAT Technology (NT, TT, MB), pp. 19–23.
IFMIFM-2010-FranzleTE #hybrid #probability #smt
Satisfaction Meets Expectations — Computing Expected Values of Probabilistic Hybrid Systems with SMT (MF, TT, AE), pp. 168–182.
CSLCSL-2010-Krokhin #constraints
Tree Dualities for Constraint Satisfaction (AAK), pp. 32–33.
ICSTICST-2010-Weissleder #state machine #test coverage #uml
Simulated Satisfaction of Coverage Criteria on UML State Machines (SW), pp. 117–126.
LICSLICS-2010-BodirskyHM #algebra #approach #constraints #on the
On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction (MB, MH, BM), pp. 90–99.
ICSTSAT-2010-BofillSV #constraints #problem #smt
A System for Solving Constraint Satisfaction Problems with SMT (MB, JS, MV), pp. 300–305.
ICSTSAT-2010-Naveh #constraints #difference
The Big Deal: Applying Constraint Satisfaction Technologies Where It Makes the Difference (YN), pp. 1–7.
HCIDHM-2009-PandithLD #evaluation #using
The Impact of Change in Software on Satisfaction: Evaluation Using Critical Incident Technique (CIT) (AP, ML, VGD), pp. 717–726.
ICEISICEIS-J-2009-Islam #tool support #user satisfaction
Developing a Model to Measure User Satisfaction and Success of Virtual Meeting Tools in an Organization (AKMNI), pp. 975–987.
CIKMCIKM-2009-KanungoGKW #algorithm #summary #user satisfaction #web
Web search result summarization: title selection algorithms and user satisfaction (TK, NG, KYK, LW), pp. 1581–1584.
CIKMCIKM-2009-ParkG #automation #metric #realtime #towards #using
Towards real-time measurement of customer satisfaction using automatically generated call transcripts (YP, SCG), pp. 1387–1396.
RecSysRecSys-2009-KnijnenburgW #adaptation #comprehension #elicitation #recommendation #user satisfaction
Understanding the effect of adaptive preference elicitation methods on user satisfaction of a recommender system (BPK, MCW), pp. 381–384.
MODELSMoDELS-2009-HorvathV #constraints #csp #modelling #problem
CSP(M): Constraint Satisfaction Problem over Models (ÁH, DV), pp. 107–121.
MODELSMoDELS-2009-HorvathV #constraints #csp #modelling #problem
CSP(M): Constraint Satisfaction Problem over Models (ÁH, DV), pp. 107–121.
RERE-2009-HolbrookHD #assessment #automation #requirements #towards
Toward Automating Requirements Satisfaction Assessment (EAH, JHH, AD), pp. 149–158.
SACSAC-2009-MattheT #query #using
Bipolar query satisfaction using satisfaction and dissatisfaction degrees: bipolar satisfaction degrees (TM, GDT), pp. 1699–1703.
SACSAC-2009-TreDWMC #approach
Heterogeneous bipolar criteria satisfaction handling in geographical decision support systems: an LSP based approach (GDT, JJD, NVdW, TM, NC), pp. 1704–1708.
CSLCSL-2009-AtseriasW #consistency #constraints #decidability #problem
Decidable Relationships between Consistency Notions for Constraint Satisfaction Problems (AA, MW), pp. 102–116.
STOCSTOC-2008-BodirskyK #complexity #constraints #problem
The complexity of temporal constraint satisfaction problems (MB, JK), pp. 29–38.
ICALPICALP-A-2008-Bulatov #complexity #constraints #problem
The Complexity of the Counting Constraint Satisfaction Problem (AAB), pp. 646–661.
ICALPICALP-B-2008-BodirskyG #complexity #constraints
Non-dichotomies in Constraint Satisfaction Complexity (MB, MG), pp. 184–196.
ICALPICALP-B-2008-Chen #constraints #quantifier
Quantified Constraint Satisfaction and the Polynomially Generated Powers Property (HC), pp. 197–208.
CHICHI-2008-FindlaterM #adaptation #performance #user interface #user satisfaction #visual notation
Impact of screen size on performance, awareness, and user satisfaction with adaptive graphical user interfaces (LF, JM), pp. 1247–1256.
CIKMCIKM-2008-AnnexsteinS #clustering #collaboration #user satisfaction
Collaborative partitioning with maximum user satisfaction (FSA, SS), pp. 1445–1446.
KDDKDD-2008-GodboleR08a #analysis #automation #industrial
An integrated system for automatic customer satisfaction analysis in the services industry (SG, SR), pp. 1073–1076.
SIGIRSIGIR-2008-LiuBA #community #predict
Predicting information seeker satisfaction in community question answering (YL, JB, EA), pp. 483–490.
CSLCSL-2008-CreignouSS #constraints #problem
Non-uniform Boolean Constraint Satisfaction Problems with Cardinality Constraint (NC, HS, IS), pp. 109–123.
LICSLICS-2008-CarvalhoDK #constraints #problem
Caterpillar Duality for Constraint Satisfaction Problems (CC, VD, AAK), pp. 307–316.
ICALPICALP-2007-LaroseT #algebra #constraints #problem
Universal Algebra and Hardness Results for Constraint Satisfaction Problems (BL, PT), pp. 267–278.
HCIHCI-AS-2007-AlTaboliA #consistency #design #interface #performance #physics #web
Effect of Physical Consistency of Web Interface Design on Users’ Performance and Satisfaction (AA, MRAZ), pp. 849–858.
HCIHCI-IDU-2007-HeoPS #case study #usability
A Study on the Improving Product Usability Applying the Kano’s Model of Customer Satisfaction (JH, SP, CS), pp. 482–489.
HCIHCI-MIE-2007-KoLKJL #case study #evaluation #personalisation #recommendation #user satisfaction
A Study on User Satisfaction Evaluation About the Recommendation Techniques of a Personalized EPG System on Digital TV (SMK, YJL, MHK, YGJ, SWL), pp. 909–917.
CAiSECAiSE-2007-WalleCD #distributed #process #requirements #sequence
The Impact of Task Structure and Negotiation Sequence on Distributed Requirements Negotiation Activity, Conflict, and Satisfaction (BVdW, CC, FPD), pp. 381–394.
CIKMCIKM-2007-Quiane-RuizLCV
Satisfaction balanced mediation (JAQR, PL, SC, PV), pp. 947–950.
SEKESEKE-2007-GomezA #development #quality
Study of the Relationships between Personality, Satisfaction and Product Quality in Software Development Teams (MG, STA), p. 292–?.
SIGIRSIGIR-2007-Al-MaskariSC #effectiveness #information retrieval #metric #user satisfaction
The relationship between IR effectiveness measures and user satisfaction (AAM, MS, PDC), pp. 773–774.
SIGIRSIGIR-2007-HuffmanH #how #predict #question
How well does result relevance predict session satisfaction? (SBH, MH), pp. 567–574.
LOPSTRLOPSTR-2007-Codish #proving #termination
Proving Termination with (Boolean) Satisfaction (MC), pp. 1–7.
RERE-2007-BhatG #maintenance #using
Enhancing Requirement Stakeholder Satisfaction during Far-shore Maintenance of Custom Developed Software using Shift-Pattern Model (JMB, MG), pp. 322–327.
RERE-2007-DorrHKLA #user satisfaction
Built-in User Satisfaction — Feature Appraisal and Prioritization with AMUSE (JD, SH, DK, DL, PA), pp. 101–110.
RERE-2007-MaidenLRJB #modelling #using
Using Satisfaction Arguments to Enhance i* Modelling of an Air Traffic Management System (NAMM, JL, DR, SJ, DB), pp. 49–52.
SACSAC-2007-BordeauxS #constraints #framework #on the #probability
On the stochastic constraint satisfaction framework (LB, HS), pp. 316–320.
SACSAC-2007-MouhoubS #constraints #problem
Solving conditional and composite constraint satisfaction problems (MM, AS), pp. 336–337.
LICSLICS-2007-EgriLT #constraints #datalog #problem #symmetry
Symmetric Datalog and Constraint Satisfaction Problems in Logspace (LE, BL, PT), pp. 193–202.
DATEDATE-2006-DuttA #incremental #locality #performance #using
Efficient timing-driven incremental routing for VLSI circuits using DFS and localized slack-satisfaction computations (SD, HA), pp. 768–773.
STOCSTOC-2006-AchlioptasR #constraints #geometry #on the #problem #random
On the solution-space geometry of random constraint satisfaction problems (DA, FRT), pp. 130–139.
KRKR-2006-RagniW #constraints
Temporalizing Cardinal Directions: From Constraint Satisfaction to Planning (MR, SW), pp. 472–480.
SACSAC-2006-DantsinWK #algorithm #constraints #problem #quantum #towards
Quantum versions of k-CSP algorithms: a first step towards quantum algorithms for interval-related constraint satisfaction problems (ED, AW, VK), pp. 1640–1644.
SACSAC-2006-LokkuN #approach #constraints
Morphogenetic constraint-satisfaction based approach for organizational engineering (DSL, KVN), pp. 1563–1564.
SACSAC-2006-WintzSM #constraints #framework #geometry #problem
A framework for geometric constraint satisfaction problem (JW, PS, PM), pp. 974–978.
CSLCSL-2006-BodirskyC #constraints #quantifier
Collapsibility in Infinite-Domain Quantified Constraint Satisfaction (MB, HC), pp. 197–211.
LICSLICS-2006-LaroseLT #constraints #first-order #problem
A Characterisation of First-Order Constraint Satisfaction Problems (BL, CL, CT), pp. 201–210.
ICSTSAT-2006-ChenIJSS #constraints #problem #theorem
A Dichotomy Theorem for Typed Constraint Satisfaction Problems (SC, TI, KJ, DS, MS), pp. 226–239.
STOCSTOC-2005-VegaKKV #approximate #composition #constraints #problem
Tensor decomposition and approximation schemes for constraint satisfaction problems (WFdlV, MK, RK, SV), pp. 747–754.
SACSAC-2005-DantchevV #infinity #on the
On the computational limits of infinite satisfaction (SSD, FDV), pp. 393–397.
SACSAC-2005-OConnellOF #constraints #problem
Timid acquisition of constraint satisfaction problems (SO, BO, ECF), pp. 404–408.
CSLCSL-2005-ChenD #algorithm #consistency #constraints #game studies #quantifier
From Pebble Games to Tractability: An Ambidextrous Consistency Algorithm for Quantified Constraint Satisfaction (HC, VD), pp. 232–247.
ICALPICALP-2004-DvorakKP #consistency #constraints #problem
Locally Consistent Constraint Satisfaction Problems: (Extended Abstract) (ZD, DK, OP), pp. 469–480.
ICALPICALP-2004-Williams #algorithm #constraints
A New Algorithm for Optimal Constraint Satisfaction and Its Implications (RW), pp. 1227–1237.
CHICHI-2004-VeraHML #approach #constraints #interactive #predict
A constraint satisfaction approach to predicting skilled interactive cognition (AHV, AH, MM, RLL), pp. 121–128.
ICEISICEIS-v1-2004-PaparoZL #automation #generative #process
Proposal for Automating the Generation Process of Questionnaires to Measure the Satisfaction Level of Software Users (MP, SZ, MIL), pp. 113–118.
ICEISICEIS-v5-2004-ChenLK #assessment #perspective
Assessment of E-Learning Satisfaction from Critical Incidents Perspective (NSC, KML, K), pp. 27–34.
SACSAC-2004-Hosobe #constraints
Hierarchical nonlinear constraint satisfaction (HH), pp. 16–20.
FSEFSE-2004-LetierL #design #reasoning #requirements
Reasoning about partial goal satisfaction for requirements and design engineering (EL, AvL), pp. 53–62.
LICSLICS-2004-Bulatov #constraints #graph #problem #relational
A Graph of a Relational Structure and Constraint Satisfaction Problems (AAB), pp. 448–457.
SATSAT-2004-Connamacher #constraints #problem #random
A Random Constraint Satisfaction Problem That Seems Hard for DPLL (HSC), pp. 3–11.
CSLCSL-2003-BodirskyN #constraints
Constraint Satisfaction with Countable Homogeneous Templates (MB, JN), pp. 44–57.
LICSLICS-2003-Bulatov #constraints #problem
Tractable conservative Constraint Satisfaction Problems (AAB), p. 321–?.
DACDAC-2002-ZhongD #algorithm #constraints #multi #optimisation
Algorithms for simultaneous satisfaction of multiple constraints and objective optimization in a placement flow with application to congestion control (KZ, SD), pp. 854–859.
DATEDATE-2002-Essi #all about #implementation
IP is All About Implementation and Customer Satisfaction (VPEJ), p. 132.
STOCSTOC-2002-Molloy02a #constraints #modelling #problem #random
Models and thresholds for random constraint satisfaction problems (MM), pp. 209–217.
ICALPICALP-2002-Dalmau #constraints #nondeterminism #problem
Constraint Satisfaction Problems in Non-deterministic Logarithmic Space (VD), pp. 414–425.
KRKR-2002-Broxvall #constraints #infinity
Constraint Satisfaction on Infinite Domains: Composing Domains and Decomposing Constraints (MB), pp. 509–520.
CSLCSL-2002-BohlerHRV #constraints #equivalence #morphism
Equivalence and Isomorphism for Boolean Constraint Satisfaction (EB, EH, SR, HV), pp. 412–426.
SATSAT-2002-AchlioptasM
A bit of abstinence (provably) promotes satisfaction (DA, CM), p. 25.
DATEDATE-2001-PintoMEJ #constraints #scheduling
Constraint satisfaction for storage files with Fifos or stacks during scheduling (CAAP, BM, KvE, JAGJ), p. 824.
ICSTSAT-2001-HuntMS #complexity #constraints #probability #problem #quantifier
Complexity and Approximability of Quantified and Stochastic Constraint Satisfaction Problems (HBHI, MVM, RES), pp. 217–230.
PODSPODS-2000-Vardi #constraints #database #tutorial
Constraint Satisfaction and Database Theory: a Tutorial (MYV), pp. 76–85.
ICALPICALP-2000-BulatovKJ #algebra #constraints #finite #problem
Constraint Satisfaction Problems and Finite Algebras (AAB, AAK, PJ), pp. 272–282.
CHICHI-2000-FrokjaerHH #correlation #effectiveness #performance #question #usability
Measuring usability: are effectiveness, efficiency, and satisfaction really correlated? (EF, MH, KH), pp. 345–352.
SACSAC-2000-MarchioriS #algorithm #constraints #problem #random #search-based
A Genetic Local Search Algorithm for Random Binary Constraint Satisfaction Problems (EM, AGS), pp. 458–462.
LICSLICS-2000-CalvaneseGLV #constraints #query
View-Based Query Processing and Constraint Satisfaction (DC, GDG, ML, MYV), pp. 361–371.
HCIHCI-EI-1999-Hollemans #metric #user satisfaction
User Satisfaction Measurement Methodolgies: Extending the User Satisfaction Questionnaire (GH), pp. 1008–1012.
HCIHCI-EI-1999-Lewis #design #trade-off #usability
Tradeoffs in the Design of the IBM Computer Usability Satisfaction Questionnaires (JRL), pp. 1023–1027.
CAiSECAiSE-1999-YiJ #process #reasoning #representation
Beyond Goal Representation: Checking Goal-Satisfaction by Temporal Reasoning with Business Processes (CHY, PJ), pp. 462–466.
PODSPODS-1998-KolaitisV #constraints
Conjunctive-Query Containment and Constraint Satisfaction (PGK, MYV), pp. 205–213.
ICGTTAGT-1998-Rudolf #constraints #graph #pattern matching #performance
Utilizing Constraint Satisfaction Techniques for Efficient Graph Pattern Matching (MR), pp. 238–251.
SIGIRSIGIR-1998-SaitoO #user satisfaction #web
A Cognitive Model for Searching for Ill-Defined Targets on the Web: The Relationship Between Search Strategies and User Satisfaction (MS, KO), pp. 155–163.
STOCSTOC-1997-KhannaSW #classification #constraints #problem
A Complete Classification of the Approximability of Maximization Problems Derived from Boolean Constraint Satisfaction (SK, MS, DPW), pp. 11–20.
WPCWPC-1996-QuiliciW #algorithm #constraints #framework #towards
Toward a Constraint-Satisfaction Framework for Evaluating Program-Understanding Algorithms (AQ, SW), p. 55–?.
KRKR-1996-JonssonG #constraints #reasoning
Procedural Reasoning in Constraint Satisfaction (AKJ, MLG), pp. 160–171.
ASEKBSE-1995-BhansaliH #constraints #geometry #knowledge-based #synthesis
Knowledge-Based Program Synthesis for a Geometric Constraint Satisfaction System (SB, TJH), pp. 11–18.
ICSMEICSM-1995-BuckleyC
Discovering relationships between service and customer satisfaction (MB, RC), p. 192–?.
ICLPICLP-1995-ShiraiH #constraints #problem
Two Approaches for Finite-Domain Constraint Satisfaction Problems — CP and CMGTP (YS, RH), pp. 249–263.
ICLPICLP-1994-BarklundDCL #constraints
Reflection through Constraint Satisfaction (JB, PD, SC, GAL), p. 742.
STOCSTOC-1993-FederV #constraints #monad
Monotone monadic SNP and constraint satisfaction (TF, MYV), pp. 612–622.
ICALPICALP-1993-Kirousis #constraints #parallel #performance
Fast Parallel Constraint Satisfaction (LMK), pp. 418–429.
HCIHCI-ACS-1993-BrazierR #modelling #user satisfaction
Modelling Collective User Satisfaction (FMTB, ZR), pp. 672–677.
HCIHCI-ACS-1993-CockeWA #health #modelling #physics
Models of Job Enlargement Tested and Evaluated from the Point of View of Physical Health and Job Satisfaction (BC, GW, ), pp. 845–850.
HCIHCI-ACS-1993-Khaleque
Job Stress, Fatigue, Jub Involvement and Satisfaction of Manual and Computerized Bank Employees (AK), pp. 943–948.
ICMLICML-1993-Ellman #abstraction #approximate #clustering #constraints #synthesis
Synthesis of Abstraction Hierarchies for Constraint Satisfaction by Clustering Approximately Equivalent Objects (TE), pp. 104–111.
ICLPICLP-1993-CarlssonG #automation #constraints #using
Automatic Frequency Assignment for Cellular Telephones Using Constraint Satisfaction Techniques (MC, MG), pp. 647–665.
RTARTA-1993-Plaisted #constraints #polynomial #termination #testing
Polynomial Time Termination and Constraint Satisfaction Tests (DAP), pp. 405–420.
SEKESEKE-1992-SatoH #constraints
A Constraint Satisfaction System on the Entity and Relationship Model (MS, MH), pp. 503–510.
TOOLSTOOLS-EUROPE-1992-CervoniR #constraints #design #named #object-oriented #problem #reuse
C/O: A Tool Reusing OO Design for Temporal Constraints Satisfaction Problems (LC, FR), pp. 79–85.
KRKR-1991-Freuder #constraints #problem
Completable Representations of Constraint Satisfaction Problems (ECF), pp. 186–195.
PPDPPLILP-1991-AlpuenteF #algorithm #constraints #incremental
Narrowing as an Incremental Constraint Satisfaction Algorithm (MA, MF), pp. 111–122.
CAVCAV-1991-AndersenW #composition
Compositional Checking of Satisfaction (HRA, GW), pp. 24–36.
ICLPCLP-1990-Hentenryck90 #constraints #incremental #logic programming
Incremental Constraint Satisfaction in Logic Programming (PVH), pp. 189–202.
KRKR-1989-Kasif #constraints #parallel #problem
Parallel Solutions to Constraint Satisfaction Problems (SK), pp. 180–188.
VLDBVLDB-1984-Grahne #database #dependence
Dependency Satisfaction in Databases with Incomplete Information (GG), pp. 37–45.
PODSPODS-1982-GrahamM #dependence
Notions of Dependency Satisfaction (MHG, AOM), pp. 177–188.
DACSHARE-1965-Jacobs #constraints #geometry
Geometric constraint satisfaction for a computer/display system (MJJ).

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.